1.1 --- a/src/Tools/isac/Knowledge/Rational.thy	Wed Aug 03 13:22:36 2022 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Rational.thy	Wed Aug 03 17:18:47 2022 +0200
     1.3 @@ -513,7 +513,7 @@
     1.4  
     1.5  val cancel_p = 
     1.6    Rule_Set.Rrls {id = "cancel_p", prepat = [],
     1.7 -	rew_ord=("ord_make_polynomial", ord_make_polynomial false \<^theory>),
     1.8 +	rew_ord = ("ord_make_polynomial", ord_make_polynomial false \<^theory>),
     1.9  	erls = rational_erls, 
    1.10  	calc = 
    1.11  	  [("PLUS", (\<^const_name>\<open>plus\<close>, (**)eval_binop "#add_")),