1.1 --- a/test/Tools/isac/BaseDefinitions/contextC.sml	Tue Sep 06 11:47:00 2022 +0200
     1.2 +++ b/test/Tools/isac/BaseDefinitions/contextC.sml	Wed Sep 07 10:58:12 2022 +0200
     1.3 @@ -143,7 +143,7 @@
     1.4  (*ER-7*) (*Schalk I s.87 Bsp 55b*)
     1.5  val fmz = ["equality (x/(x \<up> 2 - 6*x+9) - 1/(x \<up> 2 - 3*x) =1/x)",
     1.6  	   "solveFor x", "solutions L"];
     1.7 -val spec = ("RatEq",["univariate", "equation"],["no_met"]);
     1.8 +val spec = ((** )"RatEq"( **)"PolyEq"(**),["univariate", "equation"],["no_met"]);
     1.9  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, spec)];                          (* 0. specify-phase *)
    1.10  val (p,_,f,nxt,_,pt) = me nxt p [] pt; val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p [] pt; val (p,_,f,nxt,_,pt) = me nxt p [] pt;