Dune is only needed at build time

verified-network-toolchain · Apr 16, 2019 · f0578fa · f0578fa
1 parent d965aa7
commit f0578fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/petr4.opam b/petr4.opam
@@ -15,7 +15,7 @@ build: [
 ]
 depends: [
   "ocaml" {>= "4.04.0"}
-  "dune"
+  "dune" {build}
   "menhir"
   "ANSITerminal"
   "bignum"