From 1eb12ab232774c32364c5f45582f0ae0a7cbf39e Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 28 Feb 2016 22:39:09 +0100 Subject: [PATCH] make a warning ignorable --- src/surf/maxmin.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/surf/maxmin.cpp b/src/surf/maxmin.cpp index 385424c7d3..bf00e283fc 100644 --- a/src/surf/maxmin.cpp +++ b/src/surf/maxmin.cpp @@ -120,9 +120,7 @@ void lmm_system_free(lmm_system_t sys) while ((var = (lmm_variable_t) extract_variable(sys))) { - XBT_WARN - ("Variable %p (%d) still in system when freing it: this may be a bug", - var, var->id_int); + XBT_WARN("Variable %d still in system when freing it: this may be a bug", var->id_int); lmm_var_free(sys, var); } -- 2.20.1