Die on error.

[simgrid.git] / src / xbt / config.c

diff --git a/src/xbt/config.c b/src/xbt/config.c
index 33373be79117deba5b6070f1232f0e880a3ae7a0..7873dd451ab1fca1562564574123ba12af2f9505 100644 (file)
--- a/src/xbt/config.c
+++ b/src/xbt/config.c
@@ -795,7 +795,7 @@ void xbt_cfg_setdefault_double(xbt_cfg_t cfg, const char *name, double val)
   }
   else
     XBT_DEBUG
-        ("Do not override configuration variable '%s' with value '%lf' because it was already set.",
+        ("Do not override configuration variable '%s' with value '%f' because it was already set.",
          name, val);
 }