up

[mc1516.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6f82654..0dd8aea 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,5 @@
 *.aux
 *.pdf
 *.dvi
+NuSMV
+nusmv