From 440a829aa9339d2954e408218d33a04298fcf113 Mon Sep 17 00:00:00 2001 From: degomme Date: Mon, 4 Apr 2016 00:23:07 +0200 Subject: [PATCH] The usual sunday night fix : I don't want to know why it's this way or change it, just fix the build and go to bed --- src/xbt/config.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/xbt/config.c b/src/xbt/config.c index cb0d0f4339..32c07f6713 100644 --- a/src/xbt/config.c +++ b/src/xbt/config.c @@ -238,19 +238,19 @@ void xbt_cfg_register(xbt_cfg_t * cfg, const char *name, const char *desc, e_xbt void xbt_cfg_register_double(xbt_cfg_t * cfg, const char *name, const char *desc, double default_value,xbt_cfg_cb_t cb_set){ xbt_cfg_register(cfg,name,desc,xbt_cfgelm_double,1,1,cb_set); - xbt_cfg_setdefault_double(cfg, name, default_value); + xbt_cfg_setdefault_double(*cfg, name, default_value); } void xbt_cfg_register_int(xbt_cfg_t * cfg, const char *name, const char *desc, int default_value,xbt_cfg_cb_t cb_set){ xbt_cfg_register(cfg,name,desc,xbt_cfgelm_int,1,1,cb_set); - xbt_cfg_setdefault_int(cfg, name, default_value); + xbt_cfg_setdefault_int(*cfg, name, default_value); } void xbt_cfg_register_string(xbt_cfg_t * cfg, const char *name, const char *desc, const char *default_value, xbt_cfg_cb_t cb_set){ xbt_cfg_register(cfg,name,desc,xbt_cfgelm_string,1,1,cb_set); - xbt_cfg_setdefault_string(cfg, name, default_value); + xbt_cfg_setdefault_string(*cfg, name, default_value); } void xbt_cfg_register_boolean(xbt_cfg_t * cfg, const char *name, const char *desc, const char*default_value,xbt_cfg_cb_t cb_set){ xbt_cfg_register(cfg,name,desc,xbt_cfgelm_boolean,1,1,cb_set); - xbt_cfg_setdefault_boolean(cfg, name, default_value); + xbt_cfg_setdefault_boolean(*cfg, name, default_value); } void xbt_cfg_register_alias(xbt_cfg_t * cfg, const char *newname, const char *oldname) -- 2.20.1