X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Finductive.xsl;fp=helm%2Fstyle%2Finductive.xsl;h=ae225272df0ed758423fcac63b8ba34550e96017;hb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;hp=f9b535f1e72e43a60299b80ed5da5494d51064ca;hpb=bbe30d38c61689b57bbfc6ac39038b6a6a2be453;p=helm.git

diff --git a/helm/style/inductive.xsl b/helm/style/inductive.xsl
index f9b535f1e..ae225272d 100644
--- a/helm/style/inductive.xsl
+++ b/helm/style/inductive.xsl
@@ -403,6 +403,4 @@
  </xsl:choose>
 </xsl:template>
 
-
 </xsl:stylesheet>
-