deal with looping due to bogus future value via promise expiration

[model-checker.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 07fe7eb943f3fbc9824f51f2d177c16863da7d78..2ac6f537e490b9c4502b89e973cdfbf4cb21e574 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,6 @@
 *~
 
 # files in this directory
-/model
 /tags
 /docs
+/make.deps