From ff475cbd5f77c8b1bfd677a8be2087756059a14e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 Jan 2021 17:17:22 -0800 Subject: [PATCH] include rewriter_def --- src/sat/smt/q_ematch.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/smt/q_ematch.cpp b/src/sat/smt/q_ematch.cpp index 18fa566c4..143ea7679 100644 --- a/src/sat/smt/q_ematch.cpp +++ b/src/sat/smt/q_ematch.cpp @@ -30,6 +30,7 @@ Done: #include "ast/ast_util.h" #include "ast/rewriter/var_subst.h" +#include "ast/rewriter/rewriter_def.h" #include "solver/solver.h" #include "sat/smt/sat_th.h" #include "sat/smt/euf_solver.h"