debug

metanorma · Aug 26, 2024 · 032130e · 032130e
1 parent 8fef173
commit 032130e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/grammars/basicdoc.rnc b/grammars/basicdoc.rnc
@@ -455,7 +455,7 @@ pure_tt = element tt { PureTextElement* }
 keyword = element keyword { (PureTextElement|index|index-xref)* }
 sub = element sub { PureTextElement* }
 sup = element sup { PureTextElement* }
-strike = element strike { (PureTextElement|stem|eref|xeref|hyperlink|index|index-xref)* }
+strike = element strike { (PureTextElement|stem|eref|xref|hyperlink|index|index-xref)* }
 pure_strike = element strike { PureTextElement* }
 underline = element underline { 
   attribute style { text }?,

diff --git a/grammars/basicdoc.rng b/grammars/basicdoc.rng
@@ -1113,7 +1113,7 @@
           <ref name="PureTextElement"/>
           <ref name="stem"/>
           <ref name="eref"/>
-          <ref name="xeref"/>
+          <ref name="xref"/>
           <ref name="hyperlink"/>
           <ref name="index"/>
           <ref name="index-xref"/>