diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-31 20:45:29 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-31 20:45:29 +0100 |
| commit | 22d295ceaaee76dbd555cdeedc0ed7578e66279d (patch) | |
| tree | ae48a497fbe6ef49c5b8a9a0431c778953c428a0 /xtask/src/ast_src.rs | |
| parent | 215b9b9cccd66c9e9413e7581931371daa0c94e5 (diff) | |
Rename DotDotPat -> RestPat
Diffstat (limited to 'xtask/src/ast_src.rs')
| -rw-r--r-- | xtask/src/ast_src.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtask/src/ast_src.rs b/xtask/src/ast_src.rs index 2ff029158..1386fc4e7 100644 --- a/xtask/src/ast_src.rs +++ b/xtask/src/ast_src.rs | |||
| @@ -128,7 +128,7 @@ pub(crate) const KINDS_SRC: KindsSrc = KindsSrc { | |||
| 128 | "BOX_PAT", | 128 | "BOX_PAT", |
| 129 | "IDENT_PAT", | 129 | "IDENT_PAT", |
| 130 | "WILDCARD_PAT", | 130 | "WILDCARD_PAT", |
| 131 | "DOT_DOT_PAT", | 131 | "REST_PAT", |
| 132 | "PATH_PAT", | 132 | "PATH_PAT", |
| 133 | "RECORD_PAT", | 133 | "RECORD_PAT", |
| 134 | "RECORD_PAT_FIELD_LIST", | 134 | "RECORD_PAT_FIELD_LIST", |