From 6cde4de61fe7f7f3144d948db8669e9174febdec Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 31 Aug 2015 13:55:27 +0200
Subject: [PATCH] Update .gitignore

---
 .gitignore | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index e1ddcccce..2d08b39e3 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
-- 
GitLab