diff options
| -rw-r--r-- | test-suite/success/CasesDep.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test-suite/success/CasesDep.v b/test-suite/success/CasesDep.v index 8d0dc0f5ca..1a2bb3f730 100644 --- a/test-suite/success/CasesDep.v +++ b/test-suite/success/CasesDep.v @@ -24,7 +24,8 @@ Fixpoint foldrn [n:nat; bs:(listn B n)] : C := End Folding. (* -------------------------------------------------------------------- *) -(* Example to test patterns matching on dependent families *) (* This exemple extracted from the developement done by Nacira Chabane *) +(* Example to test patterns matching on dependent families *) +(* This exemple extracted from the developement done by Nacira Chabane *) (* (equipe Paris 6) *) (* -------------------------------------------------------------------- *) |