projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f47f728)
Add missing include (#2127)
authorCaleb Donovick <cdonovick@users.noreply.github.com>
Mon, 2 Jul 2018 21:26:58 +0000 (14:26 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 2 Jul 2018 21:26:58 +0000 (14:26 -0700)
src/smt/smt_engine.cpp patch | blob | history

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index ae0e80512d91c7df2db6716c33bbc2da32c30ae6..c21a0b4c2f32e6486a263ef95bb7cd6c6d6ba2ba 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -111,6 +111,7 @@
 #include "theory/quantifiers/sygus/ce_guided_instantiation.h"
 #include "theory/quantifiers/sygus_inference.h"
 #include "theory/quantifiers/term_util.h"
+#include "theory/rewriter.h"
 #include "theory/sort_inference.h"
 #include "theory/strings/theory_strings.h"
 #include "theory/substitutions.h"