1.1 --- a/test/Tools/isac/Knowledge/rooteq.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rooteq.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -136,7 +136,7 @@
     1.4  	 | _ => error "rooteq.sml: diff.behav. [x = 1 / 25]";
     1.5  if UnparseC.terms (*WN1104changed*) (Ctree.get_assumptions pt p) = "[0 <= 1 / 25]"
     1.6  (*WN050916 before correction 'rewrite__set_ called with 'Rule_Set.Empty' for ..:
     1.7 -     [(TermC.str2term"25 ~= 0",[])] *)
     1.8 +     [(TermC.parse_test @{context}"25 ~= 0",[])] *)
     1.9  then writeln "should be True\n\
    1.10  	     \should be True\n\
    1.11  	     \should be True\n"
    1.12 @@ -204,7 +204,7 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.14  case f of Form' (Test_Out.FormKF (~1,EdUndef,0,Nundef,"[x = 4]")) => ()
    1.15  	 | _ => error "rooteq.sml: diff.behav. [x = 4]";
    1.16 -if Ctree.get_assumptions pt p = [TermC.str2term"0 <= 12 * sqrt 2 * 4"] 
    1.17 +if Ctree.get_assumptions pt p = [TermC.parse_test @{context}"0 <= 12 * sqrt 2 * 4"] 
    1.18  then writeln "should be True\nshould be True\nshould be True\n\
    1.19  	     \should be True\nshould be True\nshould be True\n"
    1.20  else error "rooteq.sml: diff.behav. with 0 <= 12 * sqrt 2 * 4";