up

[mc1516.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 8164e02..0dd8aea 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
 *.log
 *.aux
 *.pdf
+*.dvi
+NuSMV
+nusmv