From: Caleb Donovick <cdonovick@users.noreply.github.com>
Date: Mon, 2 Jul 2018 21:26:58 +0000 (-0700)
Subject: Add missing include (#2127)
X-Git-Tag: cvc5-1.0.0~4929
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8af18dcba80cdf0d995f1cfd5390a1784a27a7c1;p=cvc5.git

Add missing include (#2127)
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index ae0e80512..c21a0b4c2 100644
--- 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"