diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/fe/ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 8b1ce71f..0c12d405 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -1169,7 +1169,7 @@ and fmt_stmt_body (ff:Format.formatter) (s:stmt) : unit = | STMT_init_exterior (lv, at) -> fmt_lval ff lv; - fmt ff " = @"; + fmt ff " = @@"; fmt_atom ff at; fmt ff ";" |