Try to build with JaneStreet 0.12 libs version

BinaryAnalysisPlatform · Aug 12, 2019 · 72cd85c · 72cd85c
1 parent 8cf1929
commit 72cd85c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/opam/opam b/opam/opam
@@ -12,8 +12,8 @@ depends: [
   "bitstring"
   "camlzip"
   "cmdliner" {>= "1.0" & < "2.0"}
-  "ppx_jane" {>= "v0.11" & < "v0.12"}
-  "core_kernel" {>= "v0.11" & < "v0.12"}
+  "ppx_jane" {>= "v0.11" & < "v0.13"}
+  "core_kernel" {>= "v0.11" & < "v0.13"}
   "ezjsonm"
   "fileutils"
   "FrontC"