From d3dc7c337f2f031cec57d1f8804d59662e36ecfb Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Sat, 28 Sep 2019 23:35:26 +0300
Subject: maxn comment fix (#385)

---
 mathcomp/ssreflect/ssrnat.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/ssrnat.v b/mathcomp/ssreflect/ssrnat.v
index 5b667f0..3b7524e 100644
--- a/mathcomp/ssreflect/ssrnat.v
+++ b/mathcomp/ssreflect/ssrnat.v
@@ -62,7 +62,7 @@ Require Export Ring.
 (*                                                                            *)
 (*   maximum and minimum                                                      *)
 (*      maxn m n, minn m n                                                    *)
-(*   Note that maxn m n = m + (m - n), due to the truncating subtraction.     *)
+(*   Note that maxn m n = m + (n - m), due to the truncating subtraction.     *)
 (*   Absolute difference (linear distance) between nats is defined in the int *)
 (*   library (in the int.IntDist sublibrary), with the syntax `|m - n|. The   *)
 (*   '-' in this notation is the signed integer difference.                   *)
-- 
cgit v1.2.3