aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/syntax.dcl')
-rw-r--r--frontend/syntax.dcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl
index b0a3ff9..d2a47c7 100644
--- a/frontend/syntax.dcl
+++ b/frontend/syntax.dcl
@@ -1293,7 +1293,7 @@ instance toString KindInfo
| PE_Update !ParsedExpr [ParsedSelection] ParsedExpr
| PE_Case !Ident !ParsedExpr [CaseAlt]
| PE_If !Ident !ParsedExpr !ParsedExpr !ParsedExpr
- | PE_Let !Bool !LocalDefs !ParsedExpr
+ | PE_Let !LocalDefs !ParsedExpr
| PE_ListCompr /*predef_cons_index:*/ !Int /*predef_nil_index:*/ !Int !ParsedExpr ![Qualifier]
| PE_ArrayCompr !ArrayKind !ParsedExpr ![Qualifier]
| PE_Sequ Sequence