From 47417ab258f9d192f4d872c6bea8096348802aa3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 14 Dec 2022 11:03:12 +0100
Subject: Add an SCC.ml file for strongly connected components

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

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
index 9e92b583..7cae6b89 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -10,7 +10,7 @@
  (public_name aeneas) ;; The name as revealed to the projects importing this library
  (preprocess
   (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
- (libraries charon core_unix unionFind)
+ (libraries charon core_unix unionFind ocamlgraph)
  (modules
   Assumed
   Collections
@@ -48,6 +48,7 @@
   Pure
   PureTypeCheck
   PureUtils
+  SCC
   Scalars
   StringUtils
   Substitute
-- 
cgit v1.2.3