1.1 --- a/test/Tools/isac/Knowledge/polyeq.sml	Tue Oct 18 12:05:03 2016 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq.sml	Thu Oct 20 10:26:29 2016 +0200
     1.3 @@ -251,7 +251,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
     1.6  val asm = get_assumptions_ pt p;
     1.7 -if f = Form' (FormKF (~1,EdUndef,0,Nundef,"[]")) andalso 
     1.8 +if f2str f = "[]" andalso 
     1.9    terms2str asm = "[\"lhs (2 + -1 * x + x ^^^ 2 = 0) is_poly_in x\"," ^
    1.10      "\"lhs (2 + -1 * x + x ^^^ 2 = 0) has_degree_in x = 2\"]" then ()
    1.11  else error "polyeq.sml: diff.behav. in 2 +(-1)*x + x^^^2 = 0";