From 871fe7cfb7fa8b8b7be78abbc8281b9d2c90144a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 21 Apr 2016 16:15:19 +0200
Subject: [PATCH] fix

---
 src/iter/CCLazy_list.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/iter/CCLazy_list.ml b/src/iter/CCLazy_list.ml
index f1627227..ffaf76ce 100644
--- a/src/iter/CCLazy_list.ml
+++ b/src/iter/CCLazy_list.ml
@@ -105,5 +105,5 @@ let to_gen l =
     | lazy (Cons (x,tl)) -> l := tl; Some x
 
 (*$Q
-  Q.(list int) (fun l -> l = (of_list l |> to_gen |> Gen.to_list)))
+  Q.(list int) (fun l -> l = (of_list l |> to_gen |> Gen.to_list))
 *)