screen shrinking done

[mc1516pa.git] / modelchecker / .gitignore

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