1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Mon May 11 18:06:24 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Mon May 11 20:49:27 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 -(* refine fmz ["univariate","equation"];
     1.8 +(* Specify.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'))];