Modified Files:

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

diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index cdb96ec3e64040ddb9df7c432a3ad936929a3f88..916a92c514ab1251034830793722adf3d01a3ae3 100644 (file)
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -26,7 +26,7 @@
       <m:set>
        <m:bvar>
         <m:ci>
-         <xsl:value-of select="target/@binder"/>
+         <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="target/@binder"/></xsl:with-param></xsl:call-template>
         </m:ci>
         <m:type>
          <xsl:apply-templates select="source" mode="noannot"/>