Merge pull request #98 from Nadrieril/catchup-spec

Catchup spec

1 files changed, 1 insertions, 0 deletions

diff --git a/dhall_generated_parser/build.rs b/dhall_generated_parser/build.rs
index 74210bf..48605b6 100644
--- a/dhall_generated_parser/build.rs
+++ b/dhall_generated_parser/build.rs
@@ -67,6 +67,7 @@ fn main() -> std::io::Result<()> {
           | merge ~ whsp1 ~ import_expression ~ whsp1 ~ import_expression ~ whsp ~ ^":" ~ whsp1 ~ application_expression
           | empty_list_literal
           | toMap ~ whsp1 ~ import_expression ~ whsp ~ ^":" ~ whsp1 ~ application_expression
+          | assert ~ whsp ~ ^":" ~ whsp1 ~ expression
           | annotated_expression
     }}"#
     )?;