agda
diff --git a/‎CHANGELOG.md
-7 b/‎CHANGELOG.md
-7
diff --git a/‎src/Algebra/Ordered.agda
-14 b/‎src/Algebra/Ordered.agda
-14
@@ -1832,13 +1832,6 @@ New modules
   Algebra.Morphism.Construct.Identity
   ```
 
-* Ordered algebraic structures (pomonoids, posemigroups, etc.)
-  ```
-  Algebra.Ordered
-  Algebra.Ordered.Bundles
-  Algebra.Ordered.Structures
-  ```
-
 * 'Optimised' tail-recursive exponentiation properties:
   ```
   Algebra.Properties.Semiring.Exp.TailRecursiveOptimised