From 20ac91f532695e99c5b770a03de39313d8699727 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 12 Nov 2013 15:53:48 +0100
Subject: [PATCH] small fix in doc of Gen

---
 gen.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gen.mli b/gen.mli
index 0344af88..bf84ccdf 100644
--- a/gen.mli
+++ b/gen.mli
@@ -179,8 +179,8 @@ module type S = sig
     (** Equality of generators. *)
 
   val lexico : ?cmp:('a -> 'a -> int) -> 'a t -> 'a t -> int
-    (** Lexicographic comparison of generators. If the common prefix is
-        the same, the shortest one is considered as smaller than the other. *)
+    (** Lexicographic comparison of generators. If a generator is a prefix
+        of the other one, it is considered smaller. *)
 
   val compare : ?cmp:('a -> 'a -> int) -> 'a t -> 'a t -> int
     (** Synonym for {! lexico} *)