diff --git a/.gitignore b/.gitignore
index e1ddcccce6ec97f6f99f6a8143cf1d0e9f39659c..2d08b39e3194e66d69f2e673162136c0f1d36f34 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,7 +25,8 @@ last.log
 *.last
 *.table
 *.log
-vcs/
+smt-sessions/
+leon.out/
 
 #eclipse
 .cache
@@ -38,7 +39,6 @@ vcs/
 .idea
 Leon.eml
 Leon.iml
-bin
 
 #scripts
 out-classes
@@ -46,4 +46,5 @@ out-classes
 #z3
 .z3-trace
 
+#travis
 travis/builds