From e2bdf54d5ef227e9f48200be613b4bb634856462 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 29 Aug 2020 10:45:26 -0700 Subject: [PATCH] update include 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 8011c4366..03eeab41f 100644 --- a/src/ast/rewriter/bv_rewriter.cpp +++ b/src/ast/rewriter/bv_rewriter.cpp @@ -16,8 +16,8 @@ Author: Notes: --*/ +#include "param/bv_rewriter_params.hpp" #include "ast/rewriter/bv_rewriter.h" -#include "ast/rewriter/bv_rewriter_params.hpp" #include "ast/rewriter/poly_rewriter_def.h" #include "ast/ast_smt2_pp.h" #include "ast/ast_lt.h"