1.1 --- a/test/Tools/isac/OLDTESTS/subp-rooteq.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/subp-rooteq.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -359,7 +359,7 @@
     1.4  else error "subp-rooteq.sml: new.behav. in  root-eq + subpbl: solve_plain_square";
     1.5  
     1.6  
     1.7 -writeln (pr_ptree pr_short pt);
     1.8 +writeln (pr_ctree pr_short pt);
     1.9  
    1.10  
    1.11