From a9a4602180e1be21aa598f70d5659a38ec05c4d7 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 27 Nov 2017 09:21:39 +0100 Subject: [PATCH] Remove unused private method. --- src/include/surf/maxmin.hpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/include/surf/maxmin.hpp b/src/include/surf/maxmin.hpp index 7074a9b825..3ce740560e 100644 --- a/src/include/surf/maxmin.hpp +++ b/src/include/surf/maxmin.hpp @@ -523,11 +523,6 @@ private: xbt_swag_remove(var, &variable_set); xbt_swag_remove(var, &saturated_variable_set); } - void remove_constraint(lmm_constraint_t cnst) // FIXME: unused - { - xbt_swag_remove(cnst, &constraint_set); - xbt_swag_remove(cnst, &saturated_constraint_set); - } void make_constraint_active(lmm_constraint_t cnst) { xbt_swag_insert(cnst, &active_constraint_set); } void make_constraint_inactive(lmm_constraint_t cnst) { -- 2.20.1