From f25b6e7151daa8181a9602c779dd1d69d09fccdd Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Fri, 9 Aug 2024 15:57:52 -0500
Subject: [PATCH] Indicate implicit argument in lambda pattern

---
 .../Category/Instance/Properties/Setoids/Limits/Canonical.agda  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Categories/Category/Instance/Properties/Setoids/Limits/Canonical.agda b/src/Categories/Category/Instance/Properties/Setoids/Limits/Canonical.agda
index 440bbce4..246ea575 100644
--- a/src/Categories/Category/Instance/Properties/Setoids/Limits/Canonical.agda
+++ b/src/Categories/Category/Instance/Properties/Setoids/Limits/Canonical.agda
@@ -60,7 +60,7 @@ pullback _ _ {X = X} {Y = Y} {Z = Z} f g = record
         }
       ; p₁∘universal≈h₁ = X.refl
       ; p₂∘universal≈h₂ = Y.refl
-      ; unique-diagram = λ eq₁ eq₂ → eq₁ , eq₂
+      ; unique-diagram = λ eq₁ eq₂ {_} → eq₁ , eq₂
       }
     }
     where