From 1d7a29128cb0a6b35d0b84c763fa0313a3ae0cad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= <basile.clement@ocamlpro.com>
Date: Tue, 11 Jun 2024 15:23:36 +0200
Subject: [PATCH] Even more Stdcompat

---
 src/lib/reasoners/intervals_core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/reasoners/intervals_core.ml b/src/lib/reasoners/intervals_core.ml
index 3d64ed875f..8ebf673092 100644
--- a/src/lib/reasoners/intervals_core.ml
+++ b/src/lib/reasoners/intervals_core.ml
@@ -299,7 +299,7 @@ module Make(Ex : Explanations) (*: Core with type explanation = Ex.t *)= struct
         subset_seq ~strict i1 s1 i2 s2
 
     let equal u1 u2 =
-      Seq.equal Interval.equal (to_seq u1) (to_seq u2)
+      Stdcompat.Seq.equal Interval.equal (to_seq u1) (to_seq u2)
 
     let checked ((glb, u', gub) as u) =
       let rec loop ex = function