# HG changeset patch
# User Patrick PIERRE
# Date 1414428435 -3600
# Node ID 33b213ccb3852272b652bc8a05de47b35f732c41
# Parent  852860c3d9c98e420bd096cfeaefd6420e3b1eb4
Simplification

diff -r 852860c3d9c9 -r 33b213ccb385 RelaxNG/publiquiz.rnc
--- a/RelaxNG/publiquiz.rnc	lun. oct. 27 16:39:09 2014 +0100
+++ b/RelaxNG/publiquiz.rnc	lun. oct. 27 17:47:15 2014 +0100
@@ -515,12 +515,7 @@
 blanks.intruders = element intruders { blanks.intruders.content }
 
 blanks.intruders.content =
-   intruders.blank+
-
-# ~~~~~~ intruders.blank
-intruders.blank = element blank { intruders.blank.content }
-
-intruders.blank.content = text
+   blank+
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ match.item ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~