From fd52cc1edbe192e3a4b6e6780be8761d5702664b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 17 Dec 2020 10:03:56 +0000
Subject: Add build files for loop pipelining

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

(limited to 'dune')

diff --git a/dune b/dune
index 80eccf1..f58c64e 100644
--- a/dune
+++ b/dune
@@ -7,5 +7,5 @@
 (library
  (public_name vericert)
  (modules_without_implementation c debugTypes dwarfTypes)
- (libraries menhirLib str unix)
+ (libraries menhirLib str unix ocamlgraph)
  (flags (:standard -warn-error -A)))
-- 
cgit