diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/OLDTESTS/script.sml
--- a/test/Tools/isac/OLDTESTS/script.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/OLDTESTS/script.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -238,7 +238,7 @@
        (~1,EdUndef,1,Nundef,
         "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x ^^^ 2 + 5 * x)"))
 then () else error "behaviour in root-expl. Free_Solve changed";
-writeln (pr_ptree pr_short pt);
+writeln (pr_ctree pr_short pt);
 ---------------------------------meNEW raises exception with not-locatable*)