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