#6538

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 15, 2023 · d5fde2e · d5fde2e
1 parent 4f7f437
commit d5fde2e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/ast/simplifiers/max_bv_sharing.cpp b/src/ast/simplifiers/max_bv_sharing.cpp
@@ -22,6 +22,7 @@ Revision History:
 
 #include "ast/rewriter/maximize_ac_sharing.h"
 #include "ast/simplifiers/dependent_expr_state.h"
+#include "ast/rewriter/rewriter_def.h"
 
 class max_bv_sharing : public dependent_expr_simplifier {
 

diff --git a/src/sat/sat_solver/sat_smt_preprocess.cpp b/src/sat/sat_solver/sat_smt_preprocess.cpp
@@ -16,6 +16,7 @@ Module Name:
 --*/
 
 
+#include "ast/rewriter/rewriter_def.h"
 #include "ast/simplifiers/bit_blaster.h"
 #include "ast/simplifiers/max_bv_sharing.h"
 #include "ast/simplifiers/card2bv.h"