1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ce26378a..ca705816 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,3 +29,5 @@ TAGS
 !chapter10b/chapter10b.iml
 !graph/graph.iml
 !print/print.iml
+!isa/isa.iml
+!isa/src/test-support/isa-eval.iml