diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/fe/ast.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index 7edfd432..b33db3a7 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -874,6 +874,8 @@ and fmt_lval (ff:Format.formatter) (l:lval) : unit = fmt ff "."; fmt_name_component ff nc | COMP_atom a -> + fmt_lval ff lv; + fmt ff "."; fmt_bracketed "(" ")" fmt_atom ff a; | COMP_deref -> fmt ff "*"; |