1.1 --- a/test/Tools/isac/Knowledge/poly-2.sml	Wed Nov 16 10:30:59 2022 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/poly-2.sml	Wed Nov 16 17:42:41 2022 +0100
     1.3 @@ -693,7 +693,7 @@
     1.4  val t1 = TermC.parse_test @{context} "2 * b + (3 * a + 3 * b)";
     1.5  val t2 = TermC.parse_test @{context} "(3 * a + 3 * b) + 2 * b";
     1.6  
     1.7 -if ord_make_polynomial true @{theory} [] (t1, t2) then ()
     1.8 +if ord_make_polynomial true @{context} [] (t1, t2) then ()
     1.9  else error "poly.sml: diff.behav. in ord_make_polynomial";
    1.10  (*SO: WHY IS THERE NO REWRITING ...*)
    1.11