Activating fallback sorting

KeYProject · Oct 23, 2023 · c9b1cc1 · c9b1cc1
1 parent 6a47926
commit c9b1cc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/de/wiesler/Sorter.java b/src/main/java/de/wiesler/Sorter.java
@@ -565,7 +565,7 @@ private static void sample_sort(int[] values, int begin, int end, Storage storag
       @ assignable values[begin..end - 1];
       @*/
     public static void fallback_sort(int[] values, int begin, int end) {
-        // insertion_sort(values, begin, end);
+        insertion_sort(values, begin, end);
     }
 
     public static void insertion_sort(int[] values, int begin, int end) {