From 96cfa991639ae6c5b90df7c18f9ef6d109c4da1b Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 23 Feb 2021 09:57:36 +0100
Subject: Correction in attribute selectors

---
 lib/print.ml | 5 +++--
 1 file 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 ->
-- 
cgit v1.2.3