diff options
| author | herbelin | 2002-10-21 10:18:28 +0000 |
|---|---|---|
| committer | herbelin | 2002-10-21 10:18:28 +0000 |
| commit | bc033392f56d9ddaa3b86e2ecf6274f0aa46f239 (patch) | |
| tree | 6be45bb43539e7ad5b028e0de38e5b9285e63ed0 | |
| parent | 8aab94b8feb99802ca558c78ab1a0a973138eb74 (diff) | |
Parenthèses manquantes pour se conformer à la doc (et au nouveau PeanoSyntax.v)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3163 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | test-suite/success/Cases.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/success/Cases.v b/test-suite/success/Cases.v index 88c2b38b6b..3ac45f2d60 100644 --- a/test-suite/success/Cases.v +++ b/test-suite/success/Cases.v @@ -1591,7 +1591,7 @@ Type (* Test de la syntaxe avec nombres *) Require Arith. -Type [n]Cases n of 2 => true | _ => false end. +Type [n]Cases n of (2) => true | _ => false end. Require ZArith. Type [n]Cases n of `0` => true | _ => false end. |