Merge branch 'dvfs'

[simgrid.git] / src / include / simgrid / sg_config.h

diff --git a/src/include/simgrid/sg_config.h b/src/include/simgrid/sg_config.h
index bd61488..9952bfc 100644 (file)
--- a/src/include/simgrid/sg_config.h
+++ b/src/include/simgrid/sg_config.h
@@ -1,4 +1,3 @@
-
 #include "xbt/config.h"
 
 /*******************************************/
@@ -8,6 +7,7 @@ XBT_PUBLIC_DATA(xbt_cfg_t) _sg_cfg_set;
 XBT_PUBLIC(int) sg_cfg_get_int(const char* name);
 XBT_PUBLIC(double) sg_cfg_get_double(const char* name);
 XBT_PUBLIC(char*) sg_cfg_get_string(const char* name);
+XBT_PUBLIC(int) sg_cfg_get_boolean(const char* name);
 XBT_PUBLIC(void) sg_cfg_get_peer(const char *name, char **peer, int *port);
 XBT_PUBLIC(xbt_dynar_t) sg_cfg_get_dynar(const char* name);