summaryrefslogtreecommitdiff
path: root/src/parser2.mly
diff options
context:
space:
mode:
Diffstat (limited to 'src/parser2.mly')
-rw-r--r--src/parser2.mly2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser2.mly b/src/parser2.mly
index 02a8f09c..7ee98f41 100644
--- a/src/parser2.mly
+++ b/src/parser2.mly
@@ -836,7 +836,7 @@ block:
%inline letbind:
| pat Eq exp
- { LB_aux (LB_val_implicit ($1, $3), loc $startpos $endpos) }
+ { LB_aux (LB_val ($1, $3), loc $startpos $endpos) }
atomic_exp:
| atomic_exp Colon atomic_typ