diff options
Diffstat (limited to 'dhall_core/src/core.rs')
-rw-r--r-- | dhall_core/src/core.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs index 56ab66c..ab29148 100644 --- a/dhall_core/src/core.rs +++ b/dhall_core/src/core.rs @@ -150,7 +150,7 @@ pub enum ExprF<SubExpr, Label, Note, Embed> { /// `∀(x : A) -> B` Pi(Label, SubExpr, SubExpr), /// `f a` - App(SubExpr, Vec<SubExpr>), + App(SubExpr, SubExpr), /// `let x = r in e` /// `let x : t = r in e` Let(Label, Option<SubExpr>, SubExpr, SubExpr), |