From ce24d97addce814b88e5c47fd9137901dbcddabb Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 9 Sep 2020 04:48:56 -0700
Subject: [PATCH] ignore types

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index c5b103ba..a5b837fa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@ satPlan2006/
 
 # Format
 DUMP*
+*/.svn/*
 */.project
 */.pydevproject
 */log_file
@@ -24,5 +25,8 @@ DUMP*
 /*/*.sol
 /*/*.als
 *.dump
+*.smtout
+*.smt
+*.svn-base
 */*/*.dump
 /Neo/build/
-- 
2.34.1