From b16a4ac4528d4b9399b5eb7b728e22e0df86b1c0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 25 Aug 2017 23:57:10 -0700 Subject: [PATCH] remove simplify dependencies Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/elim_bounds2.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/elim_bounds2.h b/src/ast/rewriter/elim_bounds2.h index 0d3b026cf..e0bba4e60 100644 --- a/src/ast/rewriter/elim_bounds2.h +++ b/src/ast/rewriter/elim_bounds2.h @@ -21,7 +21,7 @@ Revision History: #include "ast/ast.h" #include "ast/arith_decl_plugin.h" -#include "ast/rewriter/rewrite.h" +#include "ast/rewriter/rewriter.h" /** \brief Functor for eliminating irrelevant bounds in quantified formulas.