Merge branch 'master' into vmtrace

[simgrid.git] / 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 e3b04b0..9c08973 100644 (file)
--- 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){