--- a/src/HOL/Library/Option_ord.thy Fri Oct 04 23:38:04 2024 +0200
+++ b/src/HOL/Library/Option_ord.thy Sat Oct 05 14:58:36 2024 +0200
@@ -449,6 +449,6 @@
instance option :: (complete_linorder) complete_linorder ..
-unbundle no_lattice_syntax
+unbundle no lattice_syntax
end