1.1 --- a/test/Tools/isac/Minisubpbl/150a-add-given-Maximum.sml	Mon Sep 18 08:38:33 2023 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/150a-add-given-Maximum.sml	Mon Sep 18 10:26:35 2023 +0200
     1.3 @@ -174,8 +174,8 @@
     1.4          |> flat
     1.5          |> distinct op =
     1.6      val variants_separated = map (filter_variants' i_model) all_variants
     1.7 -    val sums_corr = map (cnt_corrects) variants_separated
     1.8 -    val sum_variant_s = arrange_args sums_corr (1, all_variants)
     1.9 +    val sums_corr = map (Model_Def.cnt_corrects) variants_separated
    1.10 +    val sum_variant_s = Model_Def.arrange_args sums_corr (1, all_variants)
    1.11  (*+*)val [(0, 1), (0, 2), (0, 3)] = sum_variant_s
    1.12      val (_, max_variant) = hd (*..crude decision, up to improvement *)
    1.13        (sort (fn ((i, _), (j, _)) => int_ord (i, j)) sum_variant_s)
    1.14 @@ -564,8 +564,8 @@
    1.15          |> flat
    1.16          |> distinct op =
    1.17      val variants_separated = map (filter_variants' i_model) all_variants
    1.18 -    val sums_corr = map (cnt_corrects) variants_separated
    1.19 -    val sum_variant_s = arrange_args sums_corr (1, all_variants)
    1.20 +    val sums_corr = map (Model_Def.cnt_corrects) variants_separated
    1.21 +    val sum_variant_s = Model_Def.arrange_args sums_corr (1, all_variants)
    1.22      val (_, max_variant) = hd (*..crude decision, up to improvement *)
    1.23        (sort (fn ((i, _), (j, _)) => int_ord (i, j)) sum_variant_s)
    1.24      val i_model_max =