This commit is contained in:
Simon Cruanes 2016-04-21 16:15:19 +02:00
parent d587e8aaf4
commit 871fe7cfb7

View file

@ -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))
*)