aboutsummaryrefslogtreecommitdiff
path: root/lib/print.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/print.ml')
-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 ->