1.1 --- a/test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml	Sun Dec 10 17:35:07 2023 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml	Mon Dec 11 09:24:02 2023 +0100
     1.3 @@ -369,8 +369,8 @@
     1.4              (*if*) subset op = (ts, ts') 
     1.5  
     1.6  val return_is_notyet_input = ("",
     1.7 -           ori_2itm feedb pid all (i, v, f, d, subtract op = ts' ts));
     1.8 -"~~~~~ fun ori_2itm , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
     1.9 +           single_from_o feedb pid all (i, v, f, d, subtract op = ts' ts));
    1.10 +"~~~~~ fun single_from_o , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
    1.11    (feedb, pid, all, (i, v, f, d, subtract op = ts' ts));
    1.12      val ts' = union op = (feedb_values feedb) ts;
    1.13      val pval = [Input_Descript.join'''' (d, ts')]