From 60638d62c1eae16d68757327c0b11674e202c509 Mon Sep 17 00:00:00 2001 From: imaqtkatt Date: Thu, 15 Aug 2024 16:27:41 -0300 Subject: [PATCH] Fix era parse condition --- src/fun/parser.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/fun/parser.rs b/src/fun/parser.rs index 3d1462d9a..97c9e8267 100644 --- a/src/fun/parser.rs +++ b/src/fun/parser.rs @@ -482,7 +482,7 @@ impl<'a> TermParser<'a> { return Ok(Term::Fan { fan: FanKind::Tup, tag: tag.unwrap_or(Tag::Static), els }); } - if self.try_consume(")") { + if opr == Op::MUL && self.try_consume(")") { return Ok(Term::Era); }