----------------------------------------------------------------------

[helm.git] / helm / style / arith.xsl

diff --git a/helm/style/arith.xsl b/helm/style/arith.xsl
index 0751b123c530f65ce246dc098430de58d4a3f24e..73616e353dda73bc167fbcb9ca015e4d794e6821 100644 (file)
--- a/helm/style/arith.xsl
+++ b/helm/style/arith.xsl
@@ -61,7 +61,7 @@ and @uri='cic:/Coq/Init/Datatypes/nat.ind' and @noConstr='2']">
   <xsl:otherwise>
    <m:apply helm:xref="{$iden}">
     <m:plus/>
-    <m:ci><xsl:value-of select="$n"/></m:ci>
+    <m:cn><xsl:value-of select="$n"/></m:cn>
     <xsl:apply-templates select="." mode="pure"/>
    </m:apply>
   </xsl:otherwise>