From ff97d969d88e178cfa7167c05786ef09d9ac290c Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 11 Feb 2016 10:37:26 +0100
Subject: [PATCH 1/1] woopsie, it wasn't supposed to be commited

---
 src/simix/smx_global.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 1fb67e2a0d..c2bc81b01f 100644
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -251,7 +251,7 @@ void SIMIX_global_init(int *argc, char **argv)
     signal(SIGINT, inthandler);
 
 #ifndef WIN32
-    //install_segvhandler();
+    install_segvhandler();
 #endif
     /* register a function to be called by SURF after the environment creation */
     sg_platf_init();
-- 
2.20.1