model-checker : fix memory free

[simgrid.git] / examples / msg / mc / test / snapshot_comparison1.c

diff --git a/examples/msg/mc/test/snapshot_comparison1.c b/examples/msg/mc/test/snapshot_comparison1.c
index 982b1466ee4c2d8693e78430051d687da0b8a523..126c590243c2971e3d959cc3a5c12fb96ea6779a 100644 (file)
--- a/examples/msg/mc/test/snapshot_comparison1.c
+++ b/examples/msg/mc/test/snapshot_comparison1.c
@@ -35,7 +35,7 @@ int test(int argc, char **argv){
   
   XBT_INFO("**** End test ****");
 
-  return 0;
+  xbt_abort();
 }
 
 int main(int argc, char **argv){