Small fix in IStream interface.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16667 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 6 deletions

diff --git a/lib/iStream.mli b/lib/iStream.mli
index 2fcc92675a..caae0ad35a 100644
--- a/lib/iStream.mli
+++ b/lib/iStream.mli
@@ -36,9 +36,7 @@ val peek : 'a t -> ('a * 'a t) option
 
 (** {6 Standard operations}
 
-  The complexity of stream-returning functions depends on the lazy status of the
-  actual content of the stream, i.e. a lazy stream will be processed lazily.
-  Other functions are eager. *)
+    All stream-returning functions are lazy. The other ones are eager. *)
 
 val app : 'a t -> 'a t -> 'a t
 (** Append two streams. Not tail-rec. *)
@@ -70,6 +68,3 @@ val to_list : 'a t -> 'a list
 
 val force : 'a t -> 'a t
 (** Forces the whole stream. *)
-
-val lempty : 'a t
-(** Lazy empty stream. *)