Merge remote-tracking branch 'origin/master'
diff --git a/.gitignore b/.gitignore
index e2ed0e2..0767899 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 aig*
 test-aig*
 vz*
+*.iml