1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu Nov 21 17:31:20 2013 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu Nov 21 18:12:17 2013 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "squ-equ-test-subpbl1"]*)
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.6  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.7 -val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Subp ["linear", "univariate", "equation", "test"]*)
     1.8 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Subp ["LINEAR", "univariate", "equation", "test"]*)
     1.9  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.12 @@ -41,7 +41,7 @@
    1.13  val ctxt = get_ctxt pt p;
    1.14  val SOME t = parseNEW ctxt "Check_elementwise [x = 1] {(v_v::real). Assumptions}";
    1.15  get_loc pt p |> snd |> is_e_ctxt; (*false*)
    1.16 -val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Check_Postcond ["linear","univariate", ...]) *);
    1.17 +val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Check_Postcond ["LINEAR","univariate", ...]) *);
    1.18  
    1.19  val (pt'''', p'''') = (pt, p);
    1.20  "~~~~~ fun me, args:"; val (_,tac) = nxt;