adapt to coq/coq#19872

coq-community · Nov 26, 2024 · ab04edb · ab04edb
1 parent cbcd547
commit ab04edb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coqdocjs b/coqdocjs
diff --git a/theories/Structures/Monoid.v b/theories/Structures/Monoid.v
@@ -13,7 +13,7 @@ Section Monoid.
   ; monoid_unit : S
   }.
 
-  Class MonoidLaws@{} (M : Monoid) : Type :=
+  Class MonoidLaws@{} (M : Monoid) :=
   { monoid_assoc : Associative M.(monoid_plus) eq
   ; monoid_lunit : LeftUnit M.(monoid_plus) M.(monoid_unit) eq
   ; monoid_runit : RightUnit M.(monoid_plus) M.(monoid_unit) eq