diff --git a/_oasis b/_oasis index 9c663cad..432d9828 100644 --- a/_oasis +++ b/_oasis @@ -127,6 +127,7 @@ Executable run_benchs MainIs: run_benchs.ml BuildDepends: containers, qcheck, containers.data, containers.iter, containers.thread, + containers.monomorphic, sequence, gen, benchmark Executable run_bench_hash