diff options
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | src/expr/.gitignore | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 10188bb99..35a7fc332 100644 --- 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 6489199dc..238db3ad3 100644 --- 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 |