mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-16 16:27:11 +00:00
Code Activity

Remove unused nl_purify_tactic.cpp

Browse source 
This file wasn't built and won't compile as the header for it
is missing.

Most of the related code was removed in df6b1a707e.
This commit is contained in:
Bruce Mitchener 2018-12-02 23:48:46 +07:00
parent 852acd0e75
commit f40eed99f7
2 changed files with 0 additions and 800 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tactic/tactic.h
View file

@ -78,7 +78,6 @@ protected:
friend class nary_tactical;
friend class binary_tactical;
friend class unary_tactical;
friend class nl_purify_tactic;
};