diff -r df8636ffd6f8 -r 41abd196342a test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml
--- a/test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml	Sun Dec 10 17:35:07 2023 +0100
+++ b/test/Tools/isac/Minisubpbl/100a-init-rootpbl-Maximum.sml	Mon Dec 11 09:24:02 2023 +0100
@@ -369,8 +369,8 @@
             (*if*) subset op = (ts, ts') 
 
 val return_is_notyet_input = ("",
-           ori_2itm feedb pid all (i, v, f, d, subtract op = ts' ts));
-"~~~~~ fun ori_2itm , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
+           single_from_o feedb pid all (i, v, f, d, subtract op = ts' ts));
+"~~~~~ fun single_from_o , args:"; val (feedb, pid, all, (id, vt, fd, d, ts)) =
   (feedb, pid, all, (i, v, f, d, subtract op = ts' ts));
     val ts' = union op = (feedb_values feedb) ts;
     val pval = [Input_Descript.join'''' (d, ts')]