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