aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/trans.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/boot/me/trans.ml')
-rw-r--r--src/boot/me/trans.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index 6a14a1ce..f77386a9 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -2859,7 +2859,7 @@ let trans_visitor
Ast.MODE_local ->
cell
- | Ast.MODE_alias _ ->
+ | Ast.MODE_alias ->
if initializing
then cell
else deref cell