From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Nov 2005 14:32:41 +0000 (+0000)
Subject: exported is_blank
X-Git-Tag: V_0_7_2_3~131
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=85c1a17aaff698e2897cbddfb81f03044737b2da;p=helm.git

exported is_blank
---

diff --git a/helm/ocaml/extlib/hExtlib.mli b/helm/ocaml/extlib/hExtlib.mli
index 3372975da..6e0484b87 100644
--- a/helm/ocaml/extlib/hExtlib.mli
+++ b/helm/ocaml/extlib/hExtlib.mli
@@ -52,6 +52,7 @@ val finally: (unit -> unit) -> ('a -> 'b) -> 'a -> 'b
 (** {2 Char processing} *)
 
 val is_alpha: char -> bool
+val is_blank: char -> bool
 val is_digit: char -> bool
 val is_alphanum: char -> bool (** is_alpha || is_digit *)