Remove forward declarations in quantifiers engine (#3156)

[cvc5.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 65b1e44d2028dc1ad8e0e1b4210e142423159aff..9680cefd2bdd09ab2d48fb4426c3ccc3d5388bfc 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,17 +1,15 @@
-/autom4te.cache
 /stamp-h
-/config.h.in
-/config.log
-/config.status
-/config.cache
-/libtool
 /stamp-h1
 /cvc4-*.tar.gz
 /cvc4-*.tar.bz2
-/builds
-/doc
-/Makefile.in
-/configure
-/aclocal.m4
-/callgrind.out*
-/gmon.out
+/build/
+/doc/doxygen
+callgrind.out*
+gmon.out
+stamp-generated
+generated/
+*~
+\#*\#
+*.swp
+/debug/
+/antlr-3.4