Whitespace

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index fdd2cae82f15414a2f0bc7129bfceeede3379c2c..3314bf1eca4374af7f1db6445fb8c49afae45d99 100644 (file)
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -2172,11 +2172,8 @@ div {
 div {
 
    db.example.role.attribute = attribute role { text }
-
    db.example.label.attribute = db.label.attribute
-
    db.example.width.attribute = db.width.characters.attribute
-
    db.example.floatstyle.attribute = db.floatstyle.attribute
 
    db.example.attlist =