1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Tue May 12 07:27:21 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Tue May 12 10:14:09 2020 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4  "----------- (3*x - 1 - (5*x - (2 - 4*x)) = -11),(*Schalk Is86Bsp5";
     1.5  (*EP-17 Schalk_I_p86_n5*)
     1.6  val fmz = ["equality ((3::real)*x - 1 - (5*x - (2 - 4*x)) = -11)","solveFor x","solutions L"];
     1.7 -(* Specify.refine fmz ["univariate","equation"];
     1.8 +(* Refine.refine fmz ["univariate","equation"];
     1.9  *)
    1.10  val (dI',pI',mI') = ("PolyEq",["univariate","equation"],["no_met"]);
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];