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