From c4de5460069bab0dde73a12bf6db2ae16f8c4137 Mon Sep 17 00:00:00 2001
From: Vovanium <vovanium@protonmail.ch>
Date: Thu, 15 Jul 2021 19:42:09 +0300
Subject: [PATCH] + Ignore gnatprove output

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 89ba6c6..9a8f715 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,6 @@ examples/**/objects/*
 # Binder code
 b__*.adb
 b__*.ads
+
+# Gnatprove output
+objects/gnatprove
\ No newline at end of file