1.1 --- a/src/sml/ME/mathengine.sml	Fri Sep 30 06:51:51 2005 +0200
     1.2 +++ b/src/sml/ME/mathengine.sml	Fri Sep 30 10:56:30 2005 +0200
     1.3 @@ -401,8 +401,7 @@
     1.4  fun CalcTreeTEST [(fmz, sp):fmz] = 
     1.5  (* val [(fmz, sp):fmz] = [(fmz, (dI',pI',mI'))];
     1.6     *)
     1.7 -    let (*val _ = states:= [];   WN050707*)
     1.8 -	val cs as ((pt,p), (tac,_,_)::_) = nxt_specify_init_calc (fmz, sp);
     1.9 +    let val cs as ((pt,p), (tac,_,_)::_) = nxt_specify_init_calc (fmz, sp);
    1.10  	val f = TESTg_form (pt,p);
    1.11  (*	val _ = (add_calc cs;  IteratorTEST 1; moveActiveRootTEST 1);WN050707*)
    1.12      in (p, []:NEW, f, (tac2IDstr tac, tac), Sundef, pt) end;