1.1 --- a/test/Tools/isac/Interpret/ctree.sml	Thu Nov 21 17:31:20 2013 +0100
     1.2 +++ b/test/Tools/isac/Interpret/ctree.sml	Thu Nov 21 18:12:17 2013 +0100
     1.3 @@ -591,7 +591,7 @@
     1.4   CalcTree      (*start of calculation, return No.1*)
     1.5       [(["equality (1+-1*2+x=(0::real))", "solveFor x","solutions L"],
     1.6         ("Test", 
     1.7 -	["linear","univariate","equation","test"],
     1.8 +	["LINEAR","univariate","equation","test"],
     1.9  	["Test","solve_linear"]))];
    1.10   Iterator 1; moveActiveRoot 1;
    1.11   autoCalculate 1 CompleteCalcHead;
    1.12 @@ -974,7 +974,7 @@
    1.13  val (Form form, SOME tac, asm) = pt_extract (pt, ([2], Res));
    1.14  case (term2str form, tac, terms2strs asm) of
    1.15      ("-1 + x = 0",
    1.16 -     Subproblem ("Test", ["linear", "univariate", "equation", "test"]),
    1.17 +     Subproblem ("Test", ["LINEAR", "univariate", "equation", "test"]),
    1.18       []) => ()
    1.19    | _ => error "diff.behav.in ctree.sml: pt_extract ([2], Res)";
    1.20  
    1.21 @@ -995,7 +995,7 @@
    1.22  
    1.23  val (Form form, SOME tac, asm) = pt_extract (pt, ([3,2], Res));
    1.24  case (term2str form, tac, terms2strs asm) of
    1.25 -    ("x = 1", Check_Postcond ["linear", "univariate", "equation", "test"], 
    1.26 +    ("x = 1", Check_Postcond ["LINEAR", "univariate", "equation", "test"], 
    1.27       []) => ()
    1.28    | _ => error "diff.behav.in ctree.sml: pt_extract ([3,2], Res)";
    1.29