remove include of tactical

Z3Prover · Nov 25, 2022 · e95b0bd · e95b0bd
1 parent 8184e7f
commit e95b0bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"