diff options
author | Nadrieril | 2019-04-06 00:41:31 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-06 00:41:31 +0200 |
commit | 6a675a13fcfafa057c44db84c3b0ca3b344cfdab (patch) | |
tree | 76d0f0fc848887d2945d586b58847575ca31d0da /dhall_parser/build.rs | |
parent | 627287185118482ceb7132f6dedad7111dccf972 (diff) | |
parent | 305a2ee7dcd3b3f61bf6877312e3c34767e8bc0c (diff) |
Merge branch 'master' into exprf
Diffstat (limited to '')
-rw-r--r-- | dhall_parser/build.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/dhall_parser/build.rs b/dhall_parser/build.rs index 4e75181..615a55c 100644 --- a/dhall_parser/build.rs +++ b/dhall_parser/build.rs @@ -42,13 +42,6 @@ fn main() -> std::io::Result<()> { )?; writeln!( &mut file, - "keyword = _{{ - let_ | in_ | if_ | then - | else_ | Infinity | NaN - }}" - )?; - writeln!( - &mut file, "final_expression = ${{ SOI ~ complete_expression ~ EOI }}" )?; |