1.1 --- a/src/Tools/isac/Interpret/lucas-interpreter.sml	Thu Oct 20 10:23:38 2022 +0200
     1.2 +++ b/src/Tools/isac/Interpret/lucas-interpreter.sml	Thu Oct 20 10:47:52 2022 +0200
     1.3 @@ -181,9 +181,7 @@
     1.4      else
     1.5        case LItool.check_leaf "next  " ctxt eval (get_subst ist) t of
     1.6    	    (Program.Expr s, _) => Term_Val s (*TODO?: include set_found here and drop those after call*)
     1.7 -      | (Program.Tac prog_tac, form_arg) =>
     1.8 -          (tracing ("### scan_dn fall-through, prog_tac = " ^ quote (UnparseC.term prog_tac) ^ " |");
     1.9 -check_tac cc ist (prog_tac, form_arg))
    1.10 +      | (Program.Tac prog_tac, form_arg) => check_tac cc ist (prog_tac, form_arg)
    1.11                                         
    1.12  fun go_scan_up (pcc as (sc, _)) (ist as {path, act_arg, found_accept, ...}) = 
    1.13      if path = [R] (*root of the program body*) then