From 325c66f2f10f7f5d48848c99fd73f33c7c7c0e7a Mon Sep 17 00:00:00 2001 From: jamesmckinna Date: Thu, 30 Jan 2025 23:50:49 +0000 Subject: [PATCH] fix: version numbers in deprecations --- src/Function/Construct/Symmetry.agda | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Function/Construct/Symmetry.agda b/src/Function/Construct/Symmetry.agda index b4b397ac78..fbd1e9c1ff 100644 --- a/src/Function/Construct/Symmetry.agda +++ b/src/Function/Construct/Symmetry.agda @@ -225,15 +225,15 @@ module _ {≈₁ : Rel A ℓ₁} {≈₂ : Rel B ℓ₂} {f : A → B} Congruent ≈₁ ≈₂ f → Bijective ≈₂ ≈₁ S.section bijective sym trans _ = S.injective refl sym trans , surjective trans {-# WARNING_ON_USAGE injective -"Warning: injective was deprecated in v2.0. +"Warning: injective was deprecated in v2.3. Please use Function.Consequences.Section.injective instead, with a sharper type." #-} {-# WARNING_ON_USAGE surjective -"Warning: surjective was deprecated in v2.0. +"Warning: surjective was deprecated in v2.3. Please use Function.Consequences.Section.surjective instead." #-} {-# WARNING_ON_USAGE bijective -"Warning: bijective was deprecated in v2.0. +"Warning: bijective was deprecated in v2.3. Please use Function.Consequences.Section.bijective instead, with a sharper type." #-}