1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Tue Oct 18 12:05:03 2016 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu Oct 20 10:26:29 2016 +0200
     1.3 @@ -83,5 +83,5 @@
     1.4  (*2011 changed ^^^^^ *)
     1.5  
     1.6  val (p,_,f,nxt,_,pt) = me nxt p'''' [] pt''''; (*WAS nxt = ("Empty_Tac", Empty_Tac)*)
     1.7 -if nxt = ("Check_elementwise", Check_elementwise "Assumptions") then ()
     1.8 -else error "Check_elementwise changed; after switch sub-->root-method";
     1.9 +case nxt of ("Check_elementwise", Check_elementwise "Assumptions") => ()
    1.10 +| _ => error "Check_elementwise changed; after switch sub-->root-method";