X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FgrafiteParser.ml;h=07ca6a6f1311218b01401d1f0cb9d8645ef86bd3;hb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;hp=b5d803f9dcfc0dfce8b36f03782d49c84e9f711f;hpb=209184c83f7d290ceb43605598e09074b57d36f4;p=helm.git

diff --git a/components/grafite_parser/grafiteParser.ml b/components/grafite_parser/grafiteParser.ml
index b5d803f9d..07ca6a6f1 100644
--- a/components/grafite_parser/grafiteParser.ml
+++ b/components/grafite_parser/grafiteParser.ml
@@ -728,3 +728,4 @@ let exc_located_wrapper f =
 let parse_statement lexbuf =
   exc_located_wrapper
     (fun () -> (Grammar.Entry.parse statement (Obj.magic lexbuf)))
+