1.1 --- a/test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml	Sun Dec 10 07:56:02 2023 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml	Sun Dec 10 17:35:07 2023 +0100
     1.3 @@ -364,7 +364,7 @@
     1.4  val SOME (_, _, _, _, (feedb, _)) =
     1.5      (*case*) find_first (fn (_, _, _, f', (feedb, _)) =>
     1.6            f = f' andalso d = (descriptor_POS feedb)) itms
     1.7 -            val ts' = inter op = (values_POS' feedb) ts
     1.8 +            val ts' = inter op = (feedb_values feedb) ts
     1.9  val false =
    1.10              (*if*) subset op = (ts, ts') 
    1.11  
    1.12 @@ -372,7 +372,7 @@
    1.13             ori_2itm feedb pid all (i, v, f, d, subtract op = ts' ts));
    1.14  "~~~~~ fun ori_2itm , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
    1.15    (feedb, pid, all, (i, v, f, d, subtract op = ts' ts));
    1.16 -    val ts' = union op = (values_POS' feedb) ts;
    1.17 +    val ts' = union op = (feedb_values feedb) ts;
    1.18      val pval = [Input_Descript.join'''' (d, ts')]
    1.19      val complete = if eq_set op = (ts', all) then true else false
    1.20