diff -r 5f136afac704 -r 5dabcc1c9235 test/Tools/isac/OLDTESTS/script.sml
--- a/test/Tools/isac/OLDTESTS/script.sml	Sat Dec 03 19:12:38 2022 +0100
+++ b/test/Tools/isac/OLDTESTS/script.sml	Sun Dec 04 16:48:06 2022 +0100
@@ -235,7 +235,7 @@
        (~1,EdUndef,1,Nundef,
         "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x \<up> 2 + 5 * x)"))
 then () else error "behaviour in root-expl. Free_Solve changed";
-writeln (pr_ctree pr_short pt);
+writeln (pr_ctree ctxt pr_short pt);
 ---------------------------------me raises exception with not-locatable*)