From 7b5094d2335d501e4061f7ac3cf7ec7953549f27 Mon Sep 17 00:00:00 2001
From: Pierrot <tiky.halbaroth@gmail.com>
Date: Mon, 11 Sep 2023 11:37:57 +0200
Subject: [PATCH] Use fmt 0.9.0 to prevent conflict with the result library
 (#802)

* conflict with result < 1.5

* Use fmt >= 0.9.0
---
 alt-ergo-lib.opam | 2 +-
 dune-project      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
index 79bfa94e1..e9ee9c2a8 100644
--- a/alt-ergo-lib.opam
+++ b/alt-ergo-lib.opam
@@ -23,7 +23,7 @@ depends: [
   "ocplib-simplex" {>= "0.5"}
   "zarith" {>= "1.4"}
   "seq"
-  "fmt"
+  "fmt" {>= "0.9.0"}
   "stdlib-shims"
   "ppx_blob" {>= "0.7.2"}
   "camlzip" {>= "1.07"}
diff --git a/dune-project b/dune-project
index 3740e1d0a..4df02c309 100644
--- a/dune-project
+++ b/dune-project
@@ -83,7 +83,7 @@ See more details on http://alt-ergo.ocamlpro.com/"
   (ocplib-simplex (>= 0.5))
   (zarith (>= 1.4))
   seq
-  fmt
+  (fmt (>= 0.9.0))
   stdlib-shims
   (ppx_blob (>= 0.7.2))
   (camlzip (>= 1.07))