1.1 --- a/test/Tools/isac/Knowledge/poly.sml	Tue Feb 04 16:45:36 2020 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/poly.sml	Tue Feb 04 17:11:54 2020 +0100
     1.3 @@ -633,7 +633,7 @@
     1.4  (*+*)if f2str f = "17 + 15 * x ^^^ 2 + -48 * x ^^^ 4 + 3 * x ^^^ 5 + 6 * x ^^^ 7 + -8 * x ^^^ 9"
     1.5  (*+*)then () else error "";
     1.6  
     1.7 -(*[1], Res* )val (p,_,f,nxt,_,pt) = me nxt p c pt;( *SINCE Feb.2020 Lucin.find_next_step without result*)
     1.8 +(*[1], Res* )val (p,_,f,nxt,_,pt) = me nxt p c pt;( *SINCE Feb.2020 LItool.find_next_step without result*)
     1.9  
    1.10  (*+*)if f2str f = "17 + 15 * x ^^^ 2 + -48 * x ^^^ 4 + 3 * x ^^^ 5 + 6 * x ^^^ 7 + -8 * x ^^^ 9"
    1.11  (*+*)then () else error "poly.sml diff.behav. in me Schalk I p.63 No.267b";