summaryrefslogtreecommitdiff
path: root/src/grammar.lalrpop
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/grammar.lalrpop2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grammar.lalrpop b/src/grammar.lalrpop
index 73d1675..8a4ad83 100644
--- a/src/grammar.lalrpop
+++ b/src/grammar.lalrpop
@@ -97,7 +97,7 @@ ExprF: BoxExpr = {
Nat => bx(NaturalLit(<>)),
Int => bx(IntegerLit(<>)),
Label => bx(Var(core::Var(<>, 0))), // FIXME support var@n syntax
- Builtin => bx(Bool), // FIXME
+ Builtin => bx(builtin_expr(<>)),
Bool => bx(BoolLit(<>)),
"(" <Expr> ")",
};