From 0796a9a8d4c93ec131f733885e06f9ca005cce0a Mon Sep 17 00:00:00 2001
From: Jacques-Pascal Deplaix <jp.deplaix@gmail.com>
Date: Thu, 28 Dec 2017 19:20:20 +0100
Subject: [PATCH] Fix compilation of benchs

---
 _oasis | 1 +
 1 file changed, 1 insertion(+)

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