From 4d53834e7413975d12cdf2f6d5e70d814d95d5ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= <basile.clement@ocamlpro.com>
Date: Thu, 18 Jul 2024 15:50:14 +0200
Subject: [PATCH] Add ocamlgraph

---
 alt-ergo.opam | 1 +
 dune-project  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/alt-ergo.opam b/alt-ergo.opam
index c8fd35ac0e..908a513066 100644
--- a/alt-ergo.opam
+++ b/alt-ergo.opam
@@ -20,6 +20,7 @@ depends: [
   "dune-site"
   "cmdliner" {>= "1.1.0"}
   "odoc" {with-doc}
+  "ocamlgraph"
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/dune-project b/dune-project
index 8cac728ce8..f1a47c7929 100644
--- a/dune-project
+++ b/dune-project
@@ -33,6 +33,7 @@ See more details on https://alt-ergo.ocamlpro.com/")
   dune-site
   (cmdliner (>= 1.1.0))
   (odoc :with-doc)
+  ocamlgraph
  )
 
  (sites (share preludes) (lib plugins))