Add ANSITerminal as OPAM dependency

verified-network-toolchain · Apr 15, 2019 · d965aa7 · d965aa7
1 parent b596dc2
commit d965aa7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/petr4.opam b/petr4.opam
@@ -17,9 +17,9 @@ depends: [
   "ocaml" {>= "4.04.0"}
   "dune"
   "menhir"
+  "ANSITerminal"
   "bignum"
   "core"
-  "core_extended"
   "ppx_deriving_yojson"
   "ppx_jane"
   "yojson"