From 6723c8283c490126464b2c11c833c2a07ddc8880 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 27 Sep 2015 19:20:01 +0200
Subject: [PATCH] more tests

---
 src/core/CCString.mli | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/CCString.mli b/src/core/CCString.mli
index a9c4f65c..a05cf845 100644
--- a/src/core/CCString.mli
+++ b/src/core/CCString.mli
@@ -201,6 +201,7 @@ val unlines_gen : string gen -> string
 
 (*$Q
   Q.printable_string (fun s -> unlines (lines s) = s)
+  Q.printable_string (fun s -> unlines_gen (lines_gen s) = s)
 *)
 
 val set : string -> int -> char -> string