From 8aa783e1a4fb0f5c759d297f015686b7a1f99ed6 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Fri, 20 Nov 2020 11:26:57 +0100
Subject: typo in documentation of allpairs_dep

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

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/seq.v b/mathcomp/ssreflect/seq.v
index c658ac2..3d56831 100644
--- a/mathcomp/ssreflect/seq.v
+++ b/mathcomp/ssreflect/seq.v
@@ -126,7 +126,7 @@ From mathcomp Require Import ssreflect ssrfun ssrbool eqtype ssrnat.
 (*                   s and t, respectively, in row-major order,               *)
 (*                   and where t is possibly dependent in elements of s       *)
 (* allpairs_dep f s t := self expanding definition for                        *)
-(*                       [seq f x y | x <- s, y <- t i]                       *)
+(*                       [seq f x y | x <- s, y <- t y]                       *)
 (*  ** Iterators: for s == [:: x_1, ..., x_n], t == [:: y_1, ..., y_m],       *)
 (* allpairs f s t := same as allpairs_dep but where t is non dependent,       *)
 (*                    i.e. self expanding definition for                      *)
-- 
cgit v1.2.3