Bug fix in serializeRangeMap.

runtimeverification · Aug 4, 2023 · 1a7ee7d · 1a7ee7d
1 parent e4af5de
commit 1a7ee7d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/runtime/util/ConfigurationSerializer.cpp b/runtime/util/ConfigurationSerializer.cpp
@@ -144,9 +144,10 @@ void serializeRangeMap(
         file, iter->first.start(), "SortKItem{}", false, state);
     serializeConfigurationInternal(
         file, iter->first.end(), "SortKItem{}", false, state);
+    emitSymbol(instance, "LblRangemap'Coln'Range{}", 2);
     serializeConfigurationInternal(
         file, iter->second, "SortKItem{}", false, state);
-    emitSymbol(instance, element, 3);
+    emitSymbol(instance, element, 2);
 
     if (once) {
       once = false;