Skip to content

Commit cd34417

Browse files
committed
Fixed in deprecation warning for <-transˡ (agda#2173)
1 parent 0befc0d commit cd34417

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Data/Nat/Properties.agda

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2342,6 +2342,6 @@ open Data.Nat.Base public
23422342

23432343
<-transˡ = <-≤-trans
23442344
{-# WARNING_ON_USAGE <-transˡ
2345-
"Warning: <-transˡ was deprecated in v2.0. Please use ≤-<-trans instead. "
2345+
"Warning: <-transˡ was deprecated in v2.0. Please use <-≤-trans instead. "
23462346
#-}
23472347

0 commit comments

Comments
 (0)