From 09cf0f0791f8d05dbec240917e2010b161bb24f6 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 08:45:09 +0200
Subject: Minimalistic prover

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

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/
-- 
cgit v1.2.3