easy sonar fixes

[simgrid.git] / src / kernel / EngineImpl.cpp

diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp
index 67e9ae8f1f061842a1165ea6475a26c9c1d78596..39f49ee81b52a959b1aed62e0e450df72c47ac58 100644 (file)
--- a/src/kernel/EngineImpl.cpp
+++ b/src/kernel/EngineImpl.cpp
@@ -697,7 +697,7 @@ void EngineImpl::run(double max_date)
 #else
     xbt_die("MC_is_active() is not supposed to return true in non-MC settings");
 #endif
-    return;
+    THROW_IMPOSSIBLE; // main_loop never returns
   }
 
   if (MC_record_replay_is_active()) {