mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
remove include of tactical
This commit is contained in:
parent
8184e7fe0a
commit
e95b0bd2cd
|
@ -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"
|
||||
|
|
Loading…
Reference in a new issue