Merging from branches/antlr3 (r246:354)

6 files changed, 12 insertions, 0 deletions

diff --git a/src/theory/.gitignore b/src/theory/.gitignore
new file mode 100644
index 000000000..daddcd51e
--- /dev/null
+++ b/src/theory/.gitignore
@@ -0,0 +1,3 @@
+/.deps
+/Makefile.in
+/theoryof_table.h
diff --git a/src/theory/arith/.gitignore b/src/theory/arith/.gitignore
new file mode 100644
index 000000000..15fb9b26d
--- /dev/null
+++ b/src/theory/arith/.gitignore
@@ -0,0 +1,2 @@
+/Makefile.in
+/.deps
diff --git a/src/theory/arrays/.gitignore b/src/theory/arrays/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/src/theory/arrays/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in
diff --git a/src/theory/booleans/.gitignore b/src/theory/booleans/.gitignore
new file mode 100644
index 000000000..10a7e8d6c
--- /dev/null
+++ b/src/theory/booleans/.gitignore
@@ -0,0 +1 @@
+/Makefile.in
diff --git a/src/theory/bv/.gitignore b/src/theory/bv/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/src/theory/bv/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in
diff --git a/src/theory/uf/.gitignore b/src/theory/uf/.gitignore
new file mode 100644
index 000000000..15fb9b26d
--- /dev/null
+++ b/src/theory/uf/.gitignore
@@ -0,0 +1,2 @@
+/Makefile.in
+/.deps