From 24add9d4f76df3d29c175a62dae7efee488fe00f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 25 Apr 2016 11:56:07 +0200 Subject: [PATCH] make a test less slow --- src/data/CCTrie.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/CCTrie.ml b/src/data/CCTrie.ml index 7af7a165..569b6bdc 100644 --- a/src/data/CCTrie.ml +++ b/src/data/CCTrie.ml @@ -368,7 +368,7 @@ module Make(W : WORD) *) (*$Q - Q.(pair (list (pair printable_string int)) printable_string) (fun (l,s) -> \ + Q.(pair (list (pair (printable_string_of_size Gen.(0 -- 30)) int)) printable_string) (fun (l,s) -> \ let m = String.of_list l in \ let s' = String.longest_prefix s m in \ CCString.prefix ~pre:s' s)