Adding newly generated files

diff --git a/.gitignore b/.gitignore
index 10188bb99b59fd40837cc9518a2f9261c5409069..35a7fc33250f03258fcf612b1f86a5e9655eeda3 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 /config.log
 /config.status
 /config.cache
+/cvc4autoconfig.h.in
 /libtool
 /stamp-h1
 /cvc4-*.tar.gz
@@ -18,3 +19,5 @@ callgrind.out*
 gmon.out
 stamp-generated
 generated/
+*~
+#*#

diff --git a/src/expr/.gitignore b/src/expr/.gitignore
index 6489199dc1f129e892691e98050d4f536dd9353c..238db3ad3098495c481456f269096f6ce0b8a6a0 100644 (file)
--- a/src/expr/.gitignore
+++ b/src/expr/.gitignore
@@ -1,2 +1,6 @@
 /kind.h
 /metakind.h
+/expr.cpp
+/expr.h
+/expr_manager.cpp
+/expr_manager.h