1.1 --- a/test/Tools/isac/Knowledge/biegelinie-4.sml	Thu May 07 11:04:02 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/biegelinie-4.sml	Thu May 07 11:42:19 2020 +0200
     1.3 @@ -244,13 +244,13 @@
     1.4  (1, ["1"], #Given,Streckenlast, ["q_0"]),
     1.5  (2, ["1"], #Given,FunktionsVariable, ["x"]),
     1.6  (3, ["1"], #Find,Funktionen, ["funs'''"])]*)
     1.7 -(*+*)writeln (pats2str' ppc);
     1.8 +(*+*)writeln (Model_Pattern.to_string' ppc);
     1.9  (*["(#Given, (Streckenlast, q__q))
    1.10  ","(#Given, (FunktionsVariable, v_v))
    1.11  ","(#Given, (Biegelinie, id_fun))
    1.12  ","(#Given, (AbleitungBiegelinie, id_abl))
    1.13  ","(#Find, (Funktionen, fun_s))"]*)
    1.14 -(*+*)writeln (pats2str' ((#ppc o Specify.get_pbt) pI));
    1.15 +(*+*)writeln (Model_Pattern.to_string' ((#ppc o Specify.get_pbt) pI));
    1.16  (*["(#Given, (Streckenlast, q_q))
    1.17  ","(#Given, (FunktionsVariable, v_v))
    1.18  ","(#Find, (Funktionen, funs'''))"]*)