From 98084d7da7f903c3ba56da1a483c65a986806495 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 29 Aug 2020 10:49:19 -0700 Subject: [PATCH] add depend Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/bv_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/bv_rewriter.cpp b/src/ast/rewriter/bv_rewriter.cpp index 03eeab41fda..3e2b2c6149c 100644 --- 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"