From 775f86103e48d991f8480c325aa6b390c246ea25 Mon Sep 17 00:00:00 2001 From: nathan moreau Date: Tue, 30 Jan 2018 14:25:51 +0100 Subject: [PATCH] typo (CCString.mli) --- src/core/CCString.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCString.mli b/src/core/CCString.mli index c0c5f9ac..ad4e181f 100644 --- a/src/core/CCString.mli +++ b/src/core/CCString.mli @@ -382,7 +382,7 @@ val filter_map : (char -> char option) -> string -> string *) val filter : (char -> bool) -> string -> string -(** [filter f s] discards characters not satisfying [f]. *) +(** [filter f s] discards characters not satisfying [f]. @since 0.17 *) (*$= & ~printer:Q.Print.string