From f7ca09c96fb15f8132185984a3343a7fc0ba3301 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Thu, 16 Jul 2020 15:42:32 +0200
Subject: [PATCH] Add odoc dependency

---
 dune-project | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index a4e6c6c..8c48bfb 100644
--- a/dune-project
+++ b/dune-project
@@ -20,4 +20,5 @@
   (clangml (>= 4.1.0))
   (dolog (>= 4.0.0))
   (traverse (>= 0.2.0))
-  (refl (>= 0.1.0))))
+  (refl (>= 0.1.0))
+  (odoc (and :with-doc (>= 1.5.1)))))
-- 
GitLab