Fix era parse condition

HigherOrderCO · Aug 15, 2024 · 60638d6 · 60638d6
1 parent 101ea27
commit 60638d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);
           }