diff options
Diffstat (limited to 'theories/Program/Syntax.v')
| -rw-r--r-- | theories/Program/Syntax.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Program/Syntax.v b/theories/Program/Syntax.v index a518faa570..6158e88f76 100644 --- a/theories/Program/Syntax.v +++ b/theories/Program/Syntax.v @@ -44,7 +44,7 @@ Implicit Arguments cons [[A]]. Notation " [] " := nil. Notation " [ x ] " := (cons x nil). -Notation " [ x ; .. ; y ] " := (cons x .. (cons y nil) ..). +Notation " [ x ; .. ; y ] " := (cons x .. (cons y nil) ..) (at level 1). (** n-ary exists ! *) |