diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/OLDTESTS/subp-rooteq.sml
--- a/test/Tools/isac/OLDTESTS/subp-rooteq.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/OLDTESTS/subp-rooteq.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -359,7 +359,7 @@
 else error "subp-rooteq.sml: new.behav. in  root-eq + subpbl: solve_plain_square";
 
 
-writeln (pr_ptree pr_short pt);
+writeln (pr_ctree pr_short pt);