1.1 --- a/test/Tools/isac/Frontend/use-cases.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -316,7 +316,7 @@
     1.4   autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
     1.5  
     1.6   val ((pt,_),_) = get_calc 1;
     1.7 - val str = pr_ptree pr_short pt;
     1.8 + val str = pr_ctree pr_short pt;
     1.9   writeln str;
    1.10   val ip = get_pos 1 1;
    1.11   val (Form f, tac, asms) = pt_extract (pt, ip);
    1.12 @@ -557,7 +557,7 @@
    1.13   autoCalculate 1 CompleteToSubpbl;
    1.14   refFormula 1 (get_pos 1 1); (*<ISA> -1 + x = 0 </ISA>*);
    1.15   val ((pt,_),_) = get_calc 1;
    1.16 - val str = pr_ptree pr_short pt;
    1.17 + val str = pr_ctree pr_short pt;
    1.18   writeln str;
    1.19   if str = ".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + -1 * 2 = 0\n"
    1.20   then () else 
    1.21 @@ -566,7 +566,7 @@
    1.22   autoCalculate 1 (Step 1); (*proceeds only, of NOT 1 step before subplb*)
    1.23   autoCalculate 1 CompleteToSubpbl;
    1.24   val ((pt,_),_) = get_calc 1;
    1.25 - val str = pr_ptree pr_short pt;
    1.26 + val str = pr_ctree pr_short pt;
    1.27   writeln str;
    1.28   autoCalculate 1 CompleteCalc; (*das geht ohnehin !*);
    1.29   val ((pt,_),_) = get_calc 1;