model-checker : remove dead code

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

diff --git a/examples/msg/mc/test/snapshot_comparison4.c b/examples/msg/mc/test/snapshot_comparison4.c
index e87c65c..bff95bf 100644 (file)
--- a/examples/msg/mc/test/snapshot_comparison4.c
+++ b/examples/msg/mc/test/snapshot_comparison4.c
@@ -44,7 +44,7 @@ int test(int argc, char **argv){
   
   XBT_INFO("**** End test ****");
 
-  return 0;
+  xbt_abort();
 }
 
 int main(int argc, char **argv){