From 9fe6ea7345ccdc573766481236ba599fcfe9723a Mon Sep 17 00:00:00 2001
From: Yann Hamdaoui <yann.hamdaoui@tweag.io>
Date: Wed, 27 Sep 2023 11:49:02 +0200
Subject: [PATCH] Update core/src/typecheck/eq.rs

Co-authored-by: jneem <joeneeman@gmail.com>
---
 core/src/typecheck/eq.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/typecheck/eq.rs b/core/src/typecheck/eq.rs
index 5047dc6250..b5e94a41de 100644
--- a/core/src/typecheck/eq.rs
+++ b/core/src/typecheck/eq.rs
@@ -327,7 +327,7 @@ pub fn type_eq_noenv(var_uid: usize, t1: &Type, t2: &Type) -> bool {
 }
 
 /// Decide type equality on contracts in their respective environment and given the remaining gas
-/// `gas`.
+/// in `state`.
 fn contract_eq_bounded<E: TermEnvironment>(
     state: &mut State,
     var_eq: VarEq,