From 84d1ea3dc63fed962757d3100122382c2e8fb4d6 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 6 Nov 2013 14:52:16 +0000
Subject: better IStream.concat

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17064 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/iStream.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/iStream.ml b/lib/iStream.ml
index 64cbb5807e..f7d50612f9 100644
--- a/lib/iStream.ml
+++ b/lib/iStream.ml
@@ -75,8 +75,8 @@ let rec map_filter_node f = function
 and map_filter f s = lazy (map_filter_node f (Lazy.force s))
 
 let rec concat_node = function
-| Nil -> empty
-| Cons (s, sl) -> app s (concat sl)
+| Nil -> Nil
+| Cons (s, sl) -> app_node (Lazy.force s) (concat sl)
 
 and concat (s : 'a t t) =
-  thunk (lazy (concat_node (Lazy.force s)))
+  lazy (concat_node (Lazy.force s))
-- 
cgit v1.2.3