From 06523bf63d4f934058cdde10a9d615da3d9c93a2 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 11 Jul 2019 22:54:04 +0200 Subject: [PATCH] Dead code. --- src/mc/compare.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp index d03dbfa44c..febf10bc46 100644 --- a/src/mc/compare.cpp +++ b/src/mc/compare.cpp @@ -700,7 +700,6 @@ static bool heap_area_differ_with_type(simgrid::mc::StateComparator& state, cons default: THROW_IMPOSSIBLE; - break; } return false; } -- 2.20.1