1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Sat Oct 19 14:26:58 2019 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Sat Oct 19 14:59:09 2019 +0200
     1.3 @@ -76,8 +76,8 @@
     1.4  body; (*= Const ("Prog_Tac.Check'_elementwise"*)
     1.5  "~~~~~ fun appy, args:"; val ((thy as (th,sr)), (pt, p), E, l, t, a, v)=
     1.6  (thy, ptp, E, (up@[R,D]), body, a, v);
     1.7 -handle_leaf "next " th sr E a v t; (*= (NONE, STac (Const ("Prog_Tac.Check'_elementwise"*)
     1.8 -val (a', STac stac) = handle_leaf "next " th sr E a v t;
     1.9 +handle_leaf "next " th sr (E, (a, v)) t; (*= (NONE, STac (Const ("Prog_Tac.Check'_elementwise"*)
    1.10 +val (a', STac stac) = handle_leaf "next " th sr (E, (a, v)) t;
    1.11  "~~~~~ fun stac2tac_, args:"; val (pt, thy, (Const("Prog_Tac.Check'_elementwise",_) $ _ $
    1.12  (set as Const ("Set.Collect",_) $ Abs (_,_,pred)))) = (pt, (assoc_thy th), stac);
    1.13  (*2011 changed ^^^^^ *)