]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed: the lhs part of an explicit name substitution was not generated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Dec 2002 14:21:10 +0000 (14:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Dec 2002 14:21:10 +0000 (14:21 +0000)
as an m:ci, but as simple text ===> no m:mi and no hyperlink were generated.

helm/style/mmlextension.xsl

index 1c19b50aabf763d780705edab11939dfc3904499..31b8c766a42684d864835381075492cab4271ef0 100644 (file)
@@ -1114,7 +1114,7 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:mo stretchy="false">{</m:mo>
         <xsl:for-each select="*[(position()>2) and (position() mod 2 = 1)]">
-         <xsl:apply-templates/>
+         <xsl:apply-templates select="."/>
          <m:mo stretchy="false">:=</m:mo>
          <xsl:apply-templates select="following-sibling::*[position() = 1]"/>
         </xsl:for-each>