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"