1.1 --- a/test/Tools/isac/Interpret/me.sml	Wed Mar 14 17:12:43 2012 +0100
     1.2 +++ b/test/Tools/isac/Interpret/me.sml	Sat Mar 17 11:06:46 2012 +0100
     1.3 @@ -230,6 +230,10 @@
     1.4  Iterator 1; moveActiveRoot 1;
     1.5  autoCalculate 1 CompleteCalc; 
     1.6  val ((pt,_),_) = get_calc 1;
     1.7 +val p = get_pos 1 1;
     1.8 +val (Form f, tac, asms) = pt_extract (pt, p);
     1.9 +if term2str f = "[x = 6 / 5]" andalso p = ([], Res) then ()
    1.10 +  else error "after ===new ptree 2 without changes ===";
    1.11  writeln(pr_ptree pr_short pt);
    1.12   
    1.13