From 18827b920ba19b76828299127cc409956116c54d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 24 Feb 2017 13:47:27 +0100 Subject: [PATCH] small fix in doc --- src/core/CCOrd.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCOrd.mli b/src/core/CCOrd.mli index c47b075b..0734aee5 100644 --- a/src/core/CCOrd.mli +++ b/src/core/CCOrd.mli @@ -23,7 +23,7 @@ val float : float t (** {2 Lexicographic Combination} *) val () : int -> ('a t * 'a * 'a) -> int -(** [c1 @@? (ord, x, y)] returns the same as [c1] if [c1] is not [0]; +(** [c1 (ord, x, y)] returns the same as [c1] if [c1] is not [0]; otherwise it uses [ord] to compare the two values [x] and [y], of type ['a].