1.1 --- a/test/Tools/isac/Minisubpbl/400-start-meth-subpbl.sml	Mon Sep 18 08:38:33 2023 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/400-start-meth-subpbl.sml	Mon Sep 18 10:26:35 2023 +0200
     1.3 @@ -116,8 +116,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 (_, max_variant) = hd (*..crude decision, up to improvement *)
    1.12        (sort (fn ((i, _), (j, _)) => int_ord (i, j)) sum_variant_s)
    1.13      val i_model_max =