Add scfg to dependencies

formalsec · Dec 1, 2024 · e343671 · e343671
1 parent 04579b8
commit e343671
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -73,6 +73,7 @@
   (prelude
    (>= "0.3"))
   rusage
+  scfg
   (yojson
    (>= "1.6.0"))
   (zarith

diff --git a/smtml.opam b/smtml.opam
@@ -31,6 +31,7 @@ depends: [
   "patricia-tree" {>= "0.10.0"}
   "prelude" {>= "0.3"}
   "rusage"
+  "scfg"
   "yojson" {>= "1.6.0"}
   "zarith" {>= "1.5"}
   "odoc" {with-doc}
-Original file line number
+Diff line change
@@ Expand Up / @@ -73,6 +73,7 @@ @@
       (prelude
        (>= "0.3"))
       rusage
+      scfg
       (yojson
        (>= "1.6.0"))
       (zarith
@@ Expand Down @@