1.1 --- a/test/Tools/isac/Knowledge/rootrateq.sml	Sat Feb 10 16:21:12 2018 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rootrateq.sml	Tue Feb 13 15:14:55 2018 +0100
     1.3 @@ -140,7 +140,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
     1.5  if f2str f = "1 = 4 * x" then ()
     1.6  else error "rootrateq.sml: diff.behav. in rootrat_equation_left_1 c";
     1.7 -(*-> Subproblem ("PolyEq", ["normalize", "polynomial", "univariate", "equation"])*)
     1.8 +(*-> Subproblem ("PolyEq", ["normalise", "polynomial", "univariate", "equation"])*)
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;