1.1 --- a/test/Tools/isac/Interpret/script.sml	Thu May 30 12:39:13 2019 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Sat Jun 01 11:09:19 2019 +0200
     1.3 @@ -616,7 +616,7 @@
     1.4  "~~~~~ fun init_scrstate , args:"; val (thy, itms, metID) = (assoc_thy thy, meth, metID);
     1.5  val (ScrState st, ctxt, Prog _) = init_scrstate thy itms metID;
     1.6  if scrstate2str st =
     1.7 -"([\"\n(l, L)\",\"\n(q, q_0)\",\"\n(v, x)\",\"\n(id_abl, dy)\",\"\n(b, y)\",\"\n(s, [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0])\",\"\n(vs, [c, c_2, c_3, c_4])\"], [], NONE, \n??.empty, Safe, true)"
     1.8 +"([\"\n(l, L)\",\"\n(q, q_0)\",\"\n(v, x)\",\"\n(b, dy)\",\"\n(s, [y 0 = 0, y L = 0, M_b 0 = 0, M_b L = 0])\",\"\n(vs, [c, c_2, c_3, c_4])\",\"\n(id_abl, y)\"], [], NONE, \n??.empty, Safe, true)"
     1.9  then () else error "init_scrstate changed for Biegelinie";
    1.10  
    1.11  (*[1], Pbl*)val (p,_,f,nxt,_,pt) = me nxt''''' p''''' c pt'''''; (*nxt = Model_Problem*)