From fade06d89df37668a5c860369f303336b982d9e0 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Tue, 13 Nov 2012 11:27:30 +0100
Subject: [PATCH] seriously ...

---
 src/surf/surf_config.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 3e9e813863..0b7da099cc 100644
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -257,6 +257,7 @@ static void _surf_cfg_cb_context_factory(const char *name, int pos) {
 
 static void _surf_cfg_cb_context_stack_size(const char *name, int pos)
 {
+  smx_context_stack_size_was_set = 1;
   smx_context_stack_size = xbt_cfg_get_int(_surf_cfg_set, name) * 1024;
 }
 
-- 
2.20.1