From 507b4c7848793ec6018e1d48c5e84f6a1a2956ac Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 29 Aug 2020 11:05:05 -0700 Subject: [PATCH] path Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/poly_rewriter_def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/poly_rewriter_def.h b/src/ast/rewriter/poly_rewriter_def.h index 90339d2a8..70caa0674 100644 --- a/src/ast/rewriter/poly_rewriter_def.h +++ b/src/ast/rewriter/poly_rewriter_def.h @@ -20,7 +20,7 @@ Notes: #include "util/container_util.h" #include "ast/rewriter/poly_rewriter.h" #include "ast/rewriter/poly_rewriter_params.hpp" -#include "ast/rewriter/arith_rewriter_params.hpp" +#include "params/arith_rewriter_params.hpp" #include "ast/ast_lt.h" #include "ast/ast_ll_pp.h" #include "ast/ast_smt2_pp.h"