From 03f34c7d933b42d41a13b3f6882ce971bcd0d19e Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Mon, 21 Dec 2020 16:52:17 +0100 Subject: [PATCH] Fixed dependency --- catala.opam | 2 +- dune-project | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/catala.opam b/catala.opam index 5c92c447..e1204662 100644 --- a/catala.opam +++ b/catala.opam @@ -17,7 +17,7 @@ depends: [ "sedlex" {>= "2.1"} "menhir" {>= "20200211"} "menhirLib" {>= "20200211"} - "unionfind" {>= "20200320"} + "unionFind" {>= "20200320"} "bindlib" {>= "5.0.1"} "dune-build-info" {>= "2.0.1"} "cmdliner" {>= "1.0.4"} diff --git a/dune-project b/dune-project index 0536991d..9a9430c1 100644 --- a/dune-project +++ b/dune-project @@ -24,7 +24,7 @@ (sedlex (>= 2.1)) (menhir (>= 20200211)) (menhirLib (>= 20200211)) - (unionfind (>= 20200320)) + (unionFind (>= 20200320)) (bindlib (>= 5.0.1)) (dune-build-info (>= 2.0.1)) (cmdliner (>= 1.0.4))