From d20f0750b11fc1b5ba83d9b40c04df6e9e30e69a Mon Sep 17 00:00:00 2001
From: Florent Hivert
Date: Mon, 4 Nov 2019 15:50:27 +0100
Subject: Fixed the documentation

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

(limited to 'mathcomp')

diff --git a/mathcomp/algebra/ssralg.v b/mathcomp/algebra/ssralg.v
index 4d32364..bb23b3f 100644
--- a/mathcomp/algebra/ssralg.v
+++ b/mathcomp/algebra/ssralg.v
@@ -369,7 +369,7 @@ From mathcomp Require Import choice fintype finfun bigop prime binomial.
 (*       comUnitAlgType R == interface type for ComUnitAlgebra structure with *)
 (*                           scalars in R; R should have a comUnitRingType    *)
 (*                           structure.                                       *)
-(*    [comAlgType R of V] == a comAlgType R structure for V created by        *)
+(* [comUnitAlgType R of V] == a comUnitAlgType R structure for V created by   *)
 (*                           merging canonical comAlgType and                 *)
 (*                           unitRingType on V.                               *)
 (*                                                                            *)
-- 
cgit v1.2.3