mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity

avoid a warning and rebase with Z3Prover

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2019-12-31 14:21:58 -08:00
parent d310ae9060
commit f4165fe5cf
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/lp/lp_settings.h
View file

@ -271,8 +271,8 @@ public:
m_int_patch_only_integer_values(true),
limit_on_rows_for_hnf_cutter(75),
limit_on_columns_for_hnf_cutter(150),
m_enable_hnf(true)
m_print_external_var_name(false),
m_enable_hnf(true),
m_print_external_var_name(false)
#ifdef Z3DEBUG
, m_counter_for_debug(0)
#endif