From 0cd990d3e92bd3434cf82ed77036d0264de05ad5 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 28 Jun 2022 17:22:42 +0200
Subject: [PATCH] add the yaml dep in the dune file

---
 lib/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/dune b/lib/dune
index bfbb41e5..7f8ed5a0 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,7 +1,7 @@
 (library
   (name Lv6Run)
   (public_name lustre-v6)
-  (libraries extlib num rdbg)
+  (libraries extlib num rdbg yaml)
   (wrapped false)
  ; (library_flags (-linkall))
 
-- 
GitLab