From f4165fe5cf0ae4e1e3c0db32f61dcd0886f261f9 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 31 Dec 2019 14:21:58 -0800 Subject: [PATCH] avoid a warning and rebase with Z3Prover Signed-off-by: Lev Nachmanson --- src/math/lp/lp_settings.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lp_settings.h b/src/math/lp/lp_settings.h index 99a7a7b70..456f082c7 100644 --- a/src/math/lp/lp_settings.h +++ b/src/math/lp/lp_settings.h @@ -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