1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Cases.tex b/doc/Cases.tex
index aacdd0c800..a8ab494c77 100644
--- a/doc/Cases.tex
+++ b/doc/Cases.tex
@@ -409,7 +409,8 @@ Set Printing Depth 50.
 
 \begin{coq_example}
 Fixpoint concat
- (n: nat) (l:listn n) (m:nat) (l':listn m) {struct l} : listn (n + m) :=
+ (n:nat) (l:listn n) (m:nat)
+ (l':listn m) {struct l} : listn (n + m) :=
   match l, l' with
   | niln, x => x
   | consn n' a y, x => consn (n' + m) a (concat n' y m x)