- Bug due to overloading of csymbol letin fixed.

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

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index a8d2ae856004fb55d83d3324558f1d488632d09f..65f9825128b4eb13d0208c8b2def3e359ea71786 100644 (file)
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -81,7 +81,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 
 <xsl:template match="LETIN" mode="pure">
     <m:apply helm:xref="{@id}">
-     <m:csymbol>letin</m:csymbol>
+     <m:csymbol>let_in</m:csymbol>
      <m:bvar>
       <m:ci>
        <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="letintarget/@binder"/></xsl:with-param></xsl:call-template>