1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Mon Dec 30 11:16:00 2019 +0100
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Wed Jan 15 11:47:38 2020 +0100
     1.3 @@ -298,19 +298,19 @@
     1.4    = ((prog, cctt), ist);
     1.5    (*if*) 1 < length path (*then*);
     1.6  
     1.7 -           scan_up1 yyy (ist |> path_up) (go (path_up' path) prog);
     1.8 +           scan_up1 yyy (ist |> path_up) (at_location (path_up' path) prog);
     1.9  "~~~~~ fun scan_up1 , args:"; val (yyy, ist, (Const ("Tactical.Try"(*2*), _) $ _))
    1.10 -  = (yyy, (ist |> path_up), (go (path_up' path) prog));
    1.11 +  = (yyy, (ist |> path_up), (at_location (path_up' path) prog));
    1.12  
    1.13             go_scan_up1 yyy ist;
    1.14  "~~~~~ and go_scan_up1 , args:"; val ((yyy as (prog, _)), (ist as {path, ...}))
    1.15    = (yyy, ist);
    1.16    (*if*) 1 < length path (*then*);
    1.17  
    1.18 -           scan_up1 yyy (ist |> path_up) (go (path_up' path) prog);
    1.19 +           scan_up1 yyy (ist |> path_up) (at_location (path_up' path) prog);
    1.20  "~~~~~ fun scan_up1 , args:"; val ((yyy as (prog, xxx as (cstate, _, _))), ist,
    1.21      (Const ("Tactical.Chain"(*3*), _) $ _ ))
    1.22 -  = (yyy, (ist |> path_up), (go (path_up' path) prog));
    1.23 +  = (yyy, (ist |> path_up), (at_location (path_up' path) prog));
    1.24         val e2 = check_Seq_up ist prog
    1.25  ;
    1.26    (*case*) scan_dn1 xxx (ist |> path_up_down [R] |> set_or ORundef) e (*of*);