aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-02-23 09:57:36 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-02-23 09:57:36 +0100
commit96cfa991639ae6c5b90df7c18f9ef6d109c4da1b (patch)
tree942647c51565f17c1a9874917dd1b4b626fa8d95
parentb09a05d9e38e0734f66377716b00268b50da7de8 (diff)
Correction in attribute selectors
-rwxr-xr-xlib/print.ml5
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 ->