From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 11 Feb 2016 09:37:26 +0000 (+0100)
Subject: woopsie, it wasn't supposed to be commited
X-Git-Tag: v3_13~881
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ff97d969d88e178cfa7167c05786ef09d9ac290c?hp=703e8696289393e60554250c2ada4ea97ed89435

woopsie, it wasn't supposed to be commited
---

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();