src/HOL/Groups.thy

--- a/src/HOL/Groups.thy	Tue May 23 20:11:15 2023 +0200
+++ b/src/HOL/Groups.thy	Tue May 23 21:43:36 2023 +0200
@@ -178,8 +178,8 @@
       | _ => false)
 \<close>
 
-simproc_setup reorient_zero ("0 = x") = Reorient_Proc.proc
-simproc_setup reorient_one ("1 = x") = Reorient_Proc.proc
+simproc_setup reorient_zero ("0 = x") = \<open>K Reorient_Proc.proc\<close>
+simproc_setup reorient_one ("1 = x") = \<open>K Reorient_Proc.proc\<close>
 
 typed_print_translation \<open>
   let