add depend

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 29, 2020 · 98084d7 · 98084d7
1 parent 7c592d4
commit 98084d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/rewriter/bv_rewriter.cpp b/src/ast/rewriter/bv_rewriter.cpp
@@ -16,7 +16,7 @@ Module Name:
 Notes:
 
 --*/
-#include "param/bv_rewriter_params.hpp"
+#include "params/bv_rewriter_params.hpp"
 #include "ast/rewriter/bv_rewriter.h"
 #include "ast/rewriter/poly_rewriter_def.h"
 #include "ast/ast_smt2_pp.h"