From 4155c6bda7852f6f2b6b89586cc7b991eb39cf48 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 22 Nov 2000 12:01:37 +0000
Subject: [PATCH] Some bug fixed

---
 helm/style/mml2mmlv1_0.xsl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index 330da7a24..fd36e2513 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -343,10 +343,25 @@
       <m:mi fontweight="bold"> <xsl:apply-templates mode = "semantics"/> </m:mi>
     </xsl:when>
     <xsl:otherwise>
+<!-- <CSC> Originale:
      <m:mi> 
       <xsl:call-template name="insert"/>
       <xsl:apply-templates mode = "semantics"/> 
      </m:mi>
+</CSC> -->
+<!-- <CSC> Modificato: -->
+ <xsl:choose>
+  <xsl:when test="child::text()">
+   <m:mi> 
+    <xsl:call-template name="insert"/>
+    <xsl:apply-templates mode = "semantics"/> 
+   </m:mi>
+  </xsl:when>
+  <xsl:otherwise>
+   <xsl:copy-of select="*"/> 
+  </xsl:otherwise>
+ </xsl:choose>
+<!-- </CSC> -->
     </xsl:otherwise>
   </xsl:choose>
 </xsl:template>
-- 
2.39.2