1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Nov 13 15:27:17 2019 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Nov 13 15:52:03 2019 +0100
     1.3 @@ -68,9 +68,9 @@
     1.4    = ((sc, (ptp, thy)), (Istate.Pstate ist));
     1.5    (*if*) 0 = length path (*else*);
     1.6  
     1.7 -       go_scan_up2 (sc, cct) (trans_scan_up2 ist |> upd_appy Skip_);
     1.8 +       go_scan_up2 (sc, cct) (trans_scan_up2 ist |> set_appy Skip_);
     1.9  "~~~~~ and go_scan_up2 , args:"; val ((yyy as (Rule.Prog sc, _)), (ist as {env, path, finish, ...}))
    1.10 -  = ((sc, cct), (trans_scan_up2 ist |> upd_appy Skip_));
    1.11 +  = ((sc, cct), (trans_scan_up2 ist |> set_appy Skip_));
    1.12      (*if*) 1 < length path (*then*);
    1.13  
    1.14             scan_up2 yyy (ist |> path_up) (go_up path sc);
    1.15 @@ -80,10 +80,10 @@
    1.16          val (i, body) = check_Let_up ist sc;
    1.17  
    1.18          (*case*)
    1.19 -           scan_dn2 xxx (ist |> path_up_down [R, D] |> upd_env' i) body (*of*);
    1.20 +           scan_dn2 xxx (ist |> path_up_down [R, D] |> upd_env i) body (*of*);
    1.21      (*========== a leaf has been found ==========*)   
    1.22  "~~~~~ fun scan_dn2 , args:"; val (((pt, p), ctxt), (ist as {env, eval, ...}), t)
    1.23 -  = (xxx, (ist |> path_up_down [R, D] |> upd_env' i), body);
    1.24 +  = (xxx, (ist |> path_up_down [R, D] |> upd_env i), body);
    1.25    val (a', STac stac) = (*case*)
    1.26        handle_leaf "next " ctxt eval (get_subst ist) t;
    1.27