1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Tue Nov 26 17:12:27 2019 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Tue Nov 26 17:37:17 2019 +0100
     1.3 @@ -84,7 +84,7 @@
     1.4      (*========== a leaf has been found ==========*)   
     1.5  "~~~~~ fun scan_dn2 , args:"; val (((pt, p), ctxt), (ist as {env, eval, ...}), t)
     1.6    = (xxx, (ist |> path_up_down [R, D] |> upd_env i), body);
     1.7 -  val (a', Program.Tac stac) = (*case*)
     1.8 +  val (Program.Tac stac, a') = (*case*)
     1.9        interpret_leaf "next " ctxt eval (get_subst ist) t;
    1.10  
    1.11  	      val (Check_elementwise "Assumptions", Empty_Tac_) =