mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
delete comment
This commit is contained in:
parent
b00c4d2e64
commit
da63f6b0ff
|
@ -27,11 +27,6 @@ Revision History:
|
|||
#include "ast_util.h"
|
||||
#include "obj_pair_hashtable.h"
|
||||
|
||||
#if 0
|
||||
TODO documentation here
|
||||
#endif
|
||||
|
||||
|
||||
class sine_tactic : public tactic {
|
||||
|
||||
ast_manager& m;
|
||||
|
|
Loading…
Reference in a new issue