diff --git a/.gitignore b/.gitignore
index af2c06330a6904baa342564a89894046a61eba24..9722bf4cb063c85f2e1539f3586be1ec46742eb5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,6 +33,12 @@ last.log
 .worksheet/
 testingSheet.sc
 
+#intellij
+.idea
+Leon.eml
+Leon.iml
+bin
+
 #z3
 .z3-trace