mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-29 11:55:51 +00:00
Code Activity

disabled old code

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2014-03-27 13:34:21 +00:00
parent 466ac0237f
commit be2066a1a6
2 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tactic/sls/sls_engine.h
View file

@ -114,7 +114,6 @@ public:
protected:
void checkpoint();
lbool search_old(void);
double get_restart_armin(unsigned cnt_restarts);
bool what_if(func_decl * fd, const unsigned & fd_inx, const mpz & temp,
@ -148,4 +147,4 @@ protected:
inline unsigned check_restart(unsigned curr_value);
};
#endif
#endif