X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Freals.xsl;h=09fd63ac28a53a759e82146c82b6ded17b233116;hb=85852ce076b8194f78dcf8ca40c203ba1cbb8ef8;hp=c7a6b8e02dc75e96443d16f62a908713768478fb;hpb=e1163ae835a7aa947680b27229a6452385a7eac1;p=helm.git

diff --git a/helm/style/reals.xsl b/helm/style/reals.xsl
index c7a6b8e02..09fd63ac2 100644
--- a/helm/style/reals.xsl
+++ b/helm/style/reals.xsl
@@ -317,5 +317,3 @@
 </xsl:template>
 
 </xsl:stylesheet>
-
-