diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-23 09:57:36 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-23 09:57:36 +0100 |
commit | 96cfa991639ae6c5b90df7c18f9ef6d109c4da1b (patch) | |
tree | 942647c51565f17c1a9874917dd1b4b626fa8d95 | |
parent | b09a05d9e38e0734f66377716b00268b50da7de8 (diff) |
Correction in attribute selectors
-rwxr-xr-x | lib/print.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/print.ml b/lib/print.ml index 5e48923..1404481 100755 --- a/lib/print.ml +++ b/lib/print.ml @@ -144,8 +144,9 @@ and print_component str unit'; true | Bracket_block elems -> - Format.fprintf formatter "%a[%a]" - print_space add_space + Format.fprintf formatter "[%a]" + (* There is no need to add a space here, as the bracket as attribute + cannot appear detachedfrom any selector *) (print_block is_selector) elems; true | Paren_block elems -> |