epic makeflie

[mc1516pa.git] / modelchecker / .gitignore

diff --git a/modelchecker/.gitignore b/modelchecker/.gitignore
index 84abf5a..6f3c928 100644 (file)
--- a/modelchecker/.gitignore
+++ b/modelchecker/.gitignore
@@ -1,2 +1,3 @@
 main
 sylvan
+*.o