aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-02-24 20:51:26 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:01:12 +0100
commit8a5d201ce47b7a7ffcdf66f73187f721e6e44732 (patch)
tree10fb10a007c4ad255b91e13377e9f8afb297fdbf
parent77544bdfad2af41514ec1435f706fee87ea2969e (diff)
Correction in css_lib
-rwxr-xr-xcss/merge_lib/print.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/css/merge_lib/print.ml b/css/merge_lib/print.ml
index 5e48923..1404481 100755
--- a/css/merge_lib/print.ml
+++ b/css/merge_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 ->