1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Wed Apr 01 14:14:46 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Wed Apr 01 18:54:03 2020 +0200
     1.3 @@ -54,7 +54,7 @@
     1.4          (is as Istate.Pstate {env, ...}, ctxt, sc) =>  (is, env, ctxt, sc)
     1.5        | _ => error "solve Apply_Method: uncovered case init_pstate";
     1.6  (*+*)pstate2str (the_pstate is) = "([\"\n(f_f, x ^^^ 2 + 1)\",\"\n(v_v, x)\"], [], e_rls, NONE, \n??.empty, ORundef, false, true)";
     1.7 -      val ini = LItool.implicit_take thy sc env;
     1.8 +      val ini = LItool.implicit_take sc env;
     1.9        val p = lev_dn p;
    1.10  
    1.11        val NONE = (*case*) ini (*of*);