X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b13270eab5c8a0f30534894c9d56566897eeea62..06523bf63d4f934058cdde10a9d615da3d9c93a2:/src/mc/compare.cpp

diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp
index 31a614cd18..febf10bc46 100644
--- a/src/mc/compare.cpp
+++ b/src/mc/compare.cpp
@@ -699,8 +699,7 @@ static bool heap_area_differ_with_type(simgrid::mc::StateComparator& state, cons
                                            type->byte_size, check_ignore);
 
     default:
-      XBT_VERB("Unknown case: %d", type->type);
-      break;
+      THROW_IMPOSSIBLE;
   }
   return false;
 }