aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe
diff options
context:
space:
mode:
Diffstat (limited to 'src/boot/fe')
-rw-r--r--src/boot/fe/ast.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml
index 76e6e306..390d944d 100644
--- a/src/boot/fe/ast.ml
+++ b/src/boot/fe/ast.ml
@@ -1013,7 +1013,7 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit =
| STMT_bind (dst, fn, arg_opts) ->
fmt_lval ff dst;
- fmt ff " = ";
+ fmt ff " = bind ";
fmt_lval ff fn;
fmt_atom_opts ff arg_opts;
fmt ff ";";