From b883efe3bbb16b5f10f3ecd65b2399233dc00e08 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 20 Jun 2019 11:43:01 +0200
Subject: Fix coqdoc title: should be on a single line.

Otherwise coqdoc doesn't understand it is still the title.
---
 theories/Vectors/VectorDef.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/theories/Vectors/VectorDef.v b/theories/Vectors/VectorDef.v
index 3bed8c1e40..20a8581d46 100644
--- a/theories/Vectors/VectorDef.v
+++ b/theories/Vectors/VectorDef.v
@@ -217,8 +217,7 @@ End BASES.
 Local Notation "v [@ p ]" := (nth v p) (at level 1).
 
 Section ITERATORS.
-(** * Here are special non dependent useful instantiation of induction
-schemes *)
+(** * Here are special non dependent useful instantiation of induction schemes *)
 
 (** Uniform application on the arguments of the vector *)
 Definition map {A} {B} (f : A -> B) : forall {n} (v:t A n), t B n :=
-- 
cgit v1.2.3