From 650d2873c3913ebd887a68a242821d3641c83b9f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 17 Sep 2015 23:11:45 +0200 Subject: [PATCH] detail --- src/core/CCHeap.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCHeap.ml b/src/core/CCHeap.ml index 6af90be4..8aaf953b 100644 --- a/src/core/CCHeap.ml +++ b/src/core/CCHeap.ml @@ -75,7 +75,7 @@ end OUnit.assert_raises H.Empty (fun () -> H.take_exn h); *) -(*$QR +(*$QR & ~count:30 Q.(list_of_size Gen.(return 10_000) int) (fun l -> (* put elements into a heap *) let h = H.of_seq H.empty (Sequence.of_list l) in