Renamed pattern

diff --git a/docbook/relaxng/docbook/src/pool.rnc b/docbook/relaxng/docbook/src/pool.rnc
index 507f953b9deb2dc6d7c2a59c9449960b1f55d06a..3e14b7aa9ac7ea25c5fa53ec290d25f3acd67727 100644 (file)
--- a/docbook/relaxng/docbook/src/pool.rnc
+++ b/docbook/relaxng/docbook/src/pool.rnc
@@ -4650,7 +4650,7 @@ div {
 ]
 div {
 
-   application.class.attribute = attribute class { "hardware" | "software" }
+   db.application.class.attribute = attribute class { "hardware" | "software" }
 
    db.application.role.attribute = attribute role { text }
 
@@ -4658,7 +4658,7 @@ div {
       db.application.role.attribute?
     & db.common.attributes
     & db.common.linking.attributes
-    & application.class.attribute?
+    & db.application.class.attribute?
 
    db.application =
       element application {