X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaScriptLexer.mli;h=3647fa0672189ea3443e9b0ef117d0e0a25cf57a;hb=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=29980c6dbd0a4f0ad84d269f105fb46f27151194;hpb=2914bfbeac3c2e0f53ba8c612cd11b3b2afbabce;p=helm.git

diff --git a/matitaB/matita/matitaScriptLexer.mli b/matitaB/matita/matitaScriptLexer.mli
index 29980c6db..3647fa067 100644
--- a/matitaB/matita/matitaScriptLexer.mli
+++ b/matitaB/matita/matitaScriptLexer.mli
@@ -31,4 +31,3 @@ exception Error of int * int * string
 val get_hot_spots : string -> 
   (Stdpp.location * Stdpp.location * string option * string option) list
 
-