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

Moved parameters to the right file. Almost clean.

Browse source
This commit is contained in:
Andreas Froehlich 2014-04-23 14:52:18 +01:00
parent c441bb4388
commit 9ebfb119db
6 changed files with 52 additions and 52 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -81,8 +81,7 @@ protected:
unsigned m_restart_base;
unsigned m_restart_next;
unsigned m_restart_init;
ptr_vector<mpz> m_old_values;
unsigned m_early_prune;
typedef enum { MV_FLIP = 0, MV_INC, MV_DEC, MV_INV } move_type;