X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2F.gitignore;h=87e54c2147f89ced7b95a4aaad6dcdbc3f5f1f7a;hb=59b2b66a7c7b6585ebd30e8c530b9f826bcc70e9;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