X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=modelchecker%2F.gitignore;h=87e54c2147f89ced7b95a4aaad6dcdbc3f5f1f7a;hb=415f27db34952feb8df7102670cca97193c25181;hp=84abf5ac5529b52b0f63e32e70383198cbafd94c;hpb=7b58c6ef6de2382ed29f3e618d94b07a4b4f5791;p=mc1516pa.git

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