--- a/src/HOL/Library/Word.thy Sat Nov 11 22:17:14 2023 +0100
+++ b/src/HOL/Library/Word.thy Sat Nov 11 17:44:03 2023 +0000
@@ -1143,7 +1143,7 @@
end
-context unique_euclidean_semiring_with_bit_operations
+context linordered_euclidean_semiring_bit_operations
begin
lemma unsigned_drop_bit_eq: