X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6d8693000fed2c1603be15a9ff86d1965c2c61a9..d28deecd8877f863c3b2f8623da62ce8aeee304c:/examples/msg/mc/test/snapshot_comparison2.c

diff --git a/examples/msg/mc/test/snapshot_comparison2.c b/examples/msg/mc/test/snapshot_comparison2.c
index e3b04b03e4..9c08973e5c 100644
--- a/examples/msg/mc/test/snapshot_comparison2.c
+++ b/examples/msg/mc/test/snapshot_comparison2.c
@@ -40,7 +40,7 @@ int test(int argc, char **argv){
 
   xbt_free(toto);
 
-  return 0;
+  xbt_abort();
 }
 
 int main(int argc, char **argv){