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