1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 1eabc20..f4c8bfe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 *.out
 run
 tree
+proof
 
 # Directory used to store object files, abc files and assembly files
 Clean System Files/