From 44c2f05102533e3656f369f2eed16ad2730ef775 Mon Sep 17 00:00:00 2001
From: Lasse Blaauwbroek
Date: Wed, 16 Dec 2020 09:38:03 +0100
Subject: Add ounit2 to with-test dependencies

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

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 1187c58449..7121a332a0 100644
--- a/dune-project
+++ b/dune-project
@@ -27,7 +27,8 @@
   (ocaml (>= 4.05.0))
   (dune  (>= 2.5.0))
   (ocamlfind (>= 1.8.1))
-  (zarith (>= 1.10)))
+  (zarith (>= 1.10))
+  (ounit2 :with-test))
  (synopsis "The Coq Proof Assistant")
  (description "Coq is a formal proof management system. It provides
 a formal language to write mathematical definitions, executable
-- 
cgit v1.2.3