From 25ae6e715787cff550ab3219967fff048905efc2 Mon Sep 17 00:00:00 2001
From: Yann Hamdaoui <yann.hamdaoui@tweag.io>
Date: Fri, 20 Dec 2024 18:06:06 +0100
Subject: [PATCH] Update unif to use new TypeEq trait

---
 core/src/bytecode/typecheck/unif.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/src/bytecode/typecheck/unif.rs b/core/src/bytecode/typecheck/unif.rs
index d776a5e71d..3d229a80f9 100644
--- a/core/src/bytecode/typecheck/unif.rs
+++ b/core/src/bytecode/typecheck/unif.rs
@@ -1,6 +1,6 @@
 //! Types unification.
 
-use super::*;
+use super::{eq::TypeEq, *};
 
 /// Unification variable or type constants unique identifier.
 pub type VarId = usize;
@@ -1247,7 +1247,7 @@ impl<'ast> Unify<'ast> for UnifType<'ast> {
                         })
                 }
                 (TypeF::Contract((t1, env1)), TypeF::Contract((t2, env2)))
-                    if eq::contract_eq(state.table.max_uvars_count(), &t1, &env1, &t2, &env2) =>
+                    if t1.type_eq(&t2, &env1, &env2) =>
                 {
                     Ok(())
                 }