1.1 --- a/test/Tools/isac/Minisubpbl/100-init-rootpbl.sml	Thu May 12 10:00:06 2011 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/100-init-rootpbl.sml	Fri May 13 09:28:38 2011 +0200
     1.3 @@ -8,4 +8,6 @@
     1.4    ("Test", ["sqroot-test","univariate","equation","test"],
     1.5     ["Test","squ-equ-test-subpbl1"]);
     1.6  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.7 -val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.8 +case nxt of ("Model_Problem", _) => ()
     1.9 +| _ => error "minisubpbl: CalcTreeTEST has no nxt = Model_Problem";
    1.10 +