model-checker : stateful mode disabled by default

[simgrid.git] / src / surf / surf.c

diff --git a/src/surf/surf.c b/src/surf/surf.c
index b6aaa56..fc1e385 100644 (file)
--- a/src/surf/surf.c
+++ b/src/surf/surf.c
@@ -55,15 +55,15 @@ static const char *disk_drives_letter_table[MAX_DRIVE] = {
 };
 #endif                          /* #ifdef _XBT_WIN32 */
 
-int surf_cfg_get_int(char* name)
+int surf_cfg_get_int(const char* name)
 {
        return xbt_cfg_get_int(_surf_cfg_set,name);
 }
-double surf_cfg_get_double(char* name)
+double surf_cfg_get_double(const char* name)
 {
        return xbt_cfg_get_double(_surf_cfg_set,name);
 }
-char* surf_cfg_get_string(char* name)
+char* surf_cfg_get_string(const char* name)
 {
        return xbt_cfg_get_string(_surf_cfg_set,name);
 }
@@ -71,7 +71,7 @@ void surf_cfg_get_peer(const char *name, char **peer, int *port)
 {
        xbt_cfg_get_peer(_surf_cfg_set,name, peer, port);
 }
-xbt_dynar_t surf_cfg_get_dynar(char* name)
+xbt_dynar_t surf_cfg_get_dynar(const char* name)
 {
        return xbt_cfg_get_dynar(_surf_cfg_set,name);
 }