1.1 --- a/test/Tools/isac/Knowledge/biegelinie-4.sml	Wed Apr 01 14:14:46 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/biegelinie-4.sml	Wed Apr 01 18:54:03 2020 +0200
     1.3 @@ -162,7 +162,7 @@
     1.4        val (is, env, ctxt, sc) = case LItool.init_pstate srls ctxt itms mI of
     1.5          (is as Istate.Pstate ist, ctxt, sc) =>  (is, get_env ist, ctxt, sc)
     1.6        | _ => error "Step_Solve.by_tactic Apply_Method: uncovered case init_pstate"
     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  val NONE = (*case*) ini (*of*);
    1.11              val (m', (is', ctxt'), _) = LI.find_next_step sc (pt, (p, Res)) is ctxt;
    1.12 @@ -194,11 +194,11 @@
    1.13  (*----------- 20 -----------*)
    1.14  (*//------------------------------------------------vvv Specify_Method ["Biegelinien", "ausBelastung"]-\\*)
    1.15  (*[1], Pbl*)(*ERROR val (p,_,f,nxt,_,pt) = me nxt''''' p''''' c pt'''''; (*nxt = Apply_Method ["Biegelinien", "ausBelastung"]*)
    1.16 -ERROR itms2args: 'Biegelinie' not in itms*)
    1.17 +ERROR arguments_from_model: 'Biegelinie' not in itms*)
    1.18  
    1.19  (*SubProblem (_, [''vonBelastungZu'', ''Biegelinien''], _)
    1.20      [REAL q, REAL v, REAL_REAL b, REAL_REAL id_abl]
    1.21 -                     ^^^^^^^^^^^ ..ERROR itms2args: 'Biegelinie' not in itms*)
    1.22 +                     ^^^^^^^^^^^ ..ERROR arguments_from_model: 'Biegelinie' not in itms*)
    1.23  (*+*)val PblObj {meth, probl, spec = (thy, _ , metID), origin = (oris, _, _), ...} = get_obj I pt''''' (fst p''''');
    1.24  (*+*)if oris2str oris =
    1.25  (*+*)  "[\n(1, [\"1\"], #Given,Streckenlast, [\"q_0\"]),\n(2, [\"1\"], #Given,FunktionsVariable, [\"x\"]),\n(3, [\"1\"], #Find,Funktionen, [\"funs'''\"])]"