
diff -r c7723cc15de8 -r fd01ef524169 src/HOL/GCD.thy
--- a/src/HOL/GCD.thy	Sun Aug 25 21:10:01 2024 +0200
+++ b/src/HOL/GCD.thy	Sun Aug 25 22:54:56 2024 +0200
@@ -2933,7 +2933,7 @@
 
 end
 
-lemma (in semiring_char_0) CHAR_eq_0 [simp]: "semiring_char TYPE('a) = 0"
+lemma (in semiring_char_0) CHAR_eq_0 [simp]: "CHAR('a) = 0"
   by (simp add: CHAR_eq0_iff)
 
 




