diff --git a/.gitignore b/.gitignore
index f7c7dfdee9bfe9bd04725958e074c267605c52ba..057efa0f356af5b6b7af02bd7b0e9e8dcbb7f2b3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,14 +21,14 @@ target
 derivation*.dot
 
 # leon
-/last.log
-/*.last
-/*.table
-/*.log
-/smt-sessions/
-/leon.out/
-/repairs.dat
-/tmp
+last.log
+*.last
+*.table
+*.log
+smt-sessions/
+leon.out/
+repairs.dat
+tmp
 
 #eclipse
 .cache
@@ -41,9 +41,10 @@ derivation*.dot
 .idea
 Leon.eml
 Leon.iml
+/.idea_modules
 
 #scripts
-/out-classes
+out-classes
 
 #z3
 .z3-trace