1 files changed, 1 insertions, 1 deletions
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)))