diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-10-23 23:40:29 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-10-23 23:40:29 +0000 |
| commit | 304404e3709ff7e95156c87f65a3e2647d9f3441 (patch) | |
| tree | 10fd1c4cc42567c3fac5fd91ad76aef3d49975b5 /src/theory/quantifiers/quant_util.cpp | |
| parent | 697dd317af39a896865c99b922e80baac2bb4b23 (diff) | |
more major cleanup of quantifiers code, separating rewrite-rules-specific code from quantifiers-specific code
Diffstat (limited to 'src/theory/quantifiers/quant_util.cpp')
| -rwxr-xr-x | src/theory/quantifiers/quant_util.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers/quant_util.cpp b/src/theory/quantifiers/quant_util.cpp index 7a2d965b8..d1b0e0fea 100755 --- a/src/theory/quantifiers/quant_util.cpp +++ b/src/theory/quantifiers/quant_util.cpp @@ -14,6 +14,7 @@ #include "theory/quantifiers/quant_util.h"
#include "theory/quantifiers/inst_match.h"
+#include "theory/quantifiers/term_database.h"
using namespace std;
using namespace CVC4;
|