
diff -r 53fea2ccab19 -r 7beb0cf38292 src/HOL/Typerep.thy
--- a/src/HOL/Typerep.thy	Thu Jan 02 08:37:52 2025 +0100
+++ b/src/HOL/Typerep.thy	Thu Jan 02 08:37:55 2025 +0100
@@ -90,7 +90,8 @@
   type_constructor typerep \<rightharpoonup> (Eval) "Term.typ"
 | constant Typerep \<rightharpoonup> (Eval) "Term.Type/ (_, _)"
 
-code_reserved Eval Term
+code_reserved
+  (Eval) Term
 
 hide_const (open) typerep Typerep
 




