diff -r caf3839e53c5 -r 3b056e367183 test/Tools/isac/Knowledge/polyeq-1.sml
--- a/test/Tools/isac/Knowledge/polyeq-1.sml	Sat May 02 10:57:04 2020 +0200
+++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Sat May 02 11:36:13 2020 +0200
@@ -390,9 +390,6 @@
 val fmz = ["equality (-2 +(-1)*x + 1*x^^^2 = 0)", "solveFor x","solutions L"];
 val (dI',pI',mI') = ("PolyEq",["pqFormula","degree_2","polynomial","univariate","equation"],
                      ["PolyEq","solve_d2_polyeq_pq_equation"]);
-(*val p = e_pos'; 
-val (mI,m) = ("Init_Proof",Init_Proof (fmz, (dI',pI',mI')));
-val (p,_,f,nxt,_,pt) = me (mI,m) p [] EmptyPtree;*)
 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 val (p,_,f,nxt,_,pt) = me nxt p [] pt;
 val (p,_,f,nxt,_,pt) = me nxt p [] pt; val (p,_,f,nxt,_,pt) = me nxt p [] pt;