diff options
| -rw-r--r-- | src/doc/grammar.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/doc/grammar.md b/src/doc/grammar.md index 9fb0dc5a6e4..83899f98c28 100644 --- a/src/doc/grammar.md +++ b/src/doc/grammar.md @@ -753,8 +753,6 @@ return_expr : "return" expr ? ; ```antlr closure_type := [ 'unsafe' ] [ '<' lifetime-list '>' ] '|' arg-list '|' [ ':' bound-list ] [ '->' type ] -procedure_type := 'proc' [ '<' lifetime-list '>' ] '(' arg-list ')' - [ ':' bound-list ] [ '->' type ] lifetime-list := lifetime | lifetime ',' lifetime-list arg-list := ident ':' type | ident ':' type ',' arg-list bound-list := bound | bound '+' bound-list |