diff options
Diffstat (limited to 'dhall_parser/build.rs')
| -rw-r--r-- | dhall_parser/build.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs index fc398ff..4e75181 100644 --- a/dhall_parser/build.rs +++ b/dhall_parser/build.rs @@ -36,15 +36,15 @@ fn main() -> std::io::Result<()> { writeln!( &mut file, "simple_label = {{ - keyword_raw ~ simple_label_next_char+ - | !keyword_raw ~ simple_label_first_char ~ simple_label_next_char* + keyword ~ simple_label_next_char+ + | !keyword ~ simple_label_first_char ~ simple_label_next_char* }}" )?; writeln!( &mut file, - "keyword_raw = _{{ - let_raw | in_raw | if_raw | then_raw - | else_raw | Infinity_raw | NaN_raw + "keyword = _{{ + let_ | in_ | if_ | then + | else_ | Infinity | NaN }}" )?; writeln!( |