test/Tools/isac/OLDTESTS/script.sml
changeset 59279 255c853ea2f0
parent 59188 c477d0f79ab9
child 59476 863c3629ad24
     1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -238,7 +238,7 @@
     1.4         (~1,EdUndef,1,Nundef,
     1.5          "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x ^^^ 2 + 5 * x)"))
     1.6  then () else error "behaviour in root-expl. Free_Solve changed";
     1.7 -writeln (pr_ptree pr_short pt);
     1.8 +writeln (pr_ctree pr_short pt);
     1.9  ---------------------------------meNEW raises exception with not-locatable*)
    1.10  
    1.11