woopsie, it wasn't supposed to be commited

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 1fb67e2..c2bc81b 100644 (file)
--- 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();