RelaxNG/publiquiz.rnc
changeset 422 4840aea082dd
parent 417 5bb0c5a94bf3
child 436 e0506760c16d
--- a/RelaxNG/publiquiz.rnc	jeu. juin 16 11:21:09 2016 +0200
+++ b/RelaxNG/publiquiz.rnc	lun. juin 20 10:03:22 2016 +0200
@@ -382,17 +382,17 @@
 blanks.list = element list {
    block.head?,
    (  (attribute type {"ordered"}?, blanks.item, blanks.item+)
-    | (attribute type {"glossary"}, glossary.item+) )
+    | (attribute type {"glossary"}, item.glossary+) )
 }
 blanks-m.list = element list {
    block.head?,
    (  (attribute type {"ordered"}?, blanks.item, blanks.item+)
-    | (attribute type {"glossary"}, glossary.item+) )
+    | (attribute type {"glossary"}, item.glossary+) )
 }
 pointing.list = element list {
    block.head?,
    (  (attribute type {"ordered"}?, pointing.item, pointing.item+)
-    | (attribute type {"glossary"}, glossary.item+) )
+    | (attribute type {"glossary"}, item.glossary+) )
 }
 
 # ~~~~~~ item