From e95b0bd2cd7bdb15fdc8b6e52437fbe5c811d9e5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 25 Nov 2022 11:47:38 +0700 Subject: [PATCH] remove include of tactical --- src/ast/simplifiers/max_bv_sharing.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/simplifiers/max_bv_sharing.cpp b/src/ast/simplifiers/max_bv_sharing.cpp index ca11f9a1b..86021fea6 100644 --- a/src/ast/simplifiers/max_bv_sharing.cpp +++ b/src/ast/simplifiers/max_bv_sharing.cpp @@ -19,7 +19,7 @@ Author Revision History: --*/ -#include "tactic/tactical.h" + #include "ast/bv_decl_plugin.h" #include "ast/rewriter/rewriter_def.h" #include "util/obj_pair_hashtable.h"