1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu Mar 08 14:33:34 2012 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Sat Mar 10 09:41:09 2012 +0100
     1.3 @@ -34,6 +34,7 @@
     1.4  val ctxt = get_ctxt pt p;
     1.5  val SOME t = parseNEW ctxt "Check_elementwise [x = 1] {(v_v::real). Assumptions}";
     1.6  get_loc pt p |> snd |> is_e_ctxt; (*false*)
     1.7 +
     1.8  val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Rewrite_Set "Test_simplify"*);
     1.9  get_ctxt pt p |> is_e_ctxt; (*false*)
    1.10  val ctxt = get_ctxt pt p;