X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2F.gitignore;h=87e54c2147f89ced7b95a4aaad6dcdbc3f5f1f7a;hb=415f27db34952feb8df7102670cca97193c25181;hp=6f3c9282c25c382af960a03e6f0729614e9fa73b;hpb=c285a7eaf0740e0d3d83cd0cdf6ca87f81c11431;p=mc1516pa.git

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