From 0aae6c51e099a78ed3fc858bd8dceca62ca1e83c Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 30 Nov 2017 23:53:19 +0100 Subject: [PATCH 1/1] Remove unused variables. --- src/kernel/lmm/maxmin.cpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/kernel/lmm/maxmin.cpp b/src/kernel/lmm/maxmin.cpp index 7606426f65..7f5cdd186b 100644 --- a/src/kernel/lmm/maxmin.cpp +++ b/src/kernel/lmm/maxmin.cpp @@ -150,9 +150,6 @@ void s_lmm_system_t::var_free(lmm_variable_t var) s_lmm_system_t::s_lmm_system_t(bool selective_update) : selective_update_active(selective_update) { - s_lmm_variable_t var; - s_lmm_constraint_t cnst; - modified = false; visited_counter = 1; @@ -189,8 +186,6 @@ void s_lmm_system_t::cnst_free(lmm_constraint_t cnst) s_lmm_constraint_t::s_lmm_constraint_t(void* id_value, double bound_value) : bound(bound_value), id(id_value) { - s_lmm_element_t elem; - id_int = Global_debug_id++; remaining = 0.0; -- 2.20.1