From cd9bab42c72a1659111484a82801e802188e6099 Mon Sep 17 00:00:00 2001
From: LunaAmora <luna.mberry@gmail.com>
Date: Thu, 7 Mar 2024 15:19:47 -0300
Subject: [PATCH] Fix pr merge error

---
 src/term/check/repeated_bind.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/term/check/repeated_bind.rs b/src/term/check/repeated_bind.rs
index 9f23d9af6..48f728706 100644
--- a/src/term/check/repeated_bind.rs
+++ b/src/term/check/repeated_bind.rs
@@ -23,7 +23,7 @@ impl Ctx<'_> {
       for rule in &def.rules {
         let mut binds = HashSet::new();
         for pat in &rule.pats {
-          for nam in pat.named_binds() {
+          for nam in pat.binds().flatten() {
             if !binds.insert(nam) {
               self.info.warning(def_name.clone(), RepeatedBindWarn::Rule(nam.clone()));
             }
@@ -52,7 +52,7 @@ impl Term {
         for rule in rules {
           let mut binds = HashSet::new();
           for pat in &rule.pats {
-            for nam in pat.named_binds() {
+            for nam in pat.binds().flatten() {
               if !binds.insert(nam) {
                 repeated.push(RepeatedBindWarn::Match(nam.clone()));
               }