From 8ab748064ddeec8400859e210bf9963826cba631 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 1 Dec 2010 13:33:41 +0100 Subject: Imported Upstream version 0.2.1 --- AAC_search_monad.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'AAC_search_monad.mli') diff --git a/AAC_search_monad.mli b/AAC_search_monad.mli index 048fa2c..093f9d9 100644 --- a/AAC_search_monad.mli +++ b/AAC_search_monad.mli @@ -14,7 +14,7 @@ *) (** A data type that represent a collection of ['a] *) -type 'a m +type 'a m (** {2 Monadic operations} *) -- cgit v1.2.3