1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Thu Aug 22 15:56:48 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Thu Aug 22 16:48:04 2019 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  "----------- build method 'Berechnung' 'erstSymbolisch' ----------";
     1.5  "----------- build method 'Berechnung' 'erstSymbolisch' ----------";
     1.6  val str =
     1.7 -"Script RechnenSymbolScript (k_k::bool) (q__q::bool) \
     1.8 +"Program RechnenSymbolScript (k_k::bool) (q__q::bool) \
     1.9  \(u_u::bool list) (s_s::bool list) (o_o::bool list) (l_l::real) =\
    1.10  \ (let t_t = (l_l = 1)\
    1.11  \ in t_t)"