X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2FcicNotationLexer.ml;h=958b246deefe7ee567a4b4c6bf38a558b04f25a9;hb=6a388079100673e4f71d28a8a53ea029ee1b08df;hp=33fb8fd78494085a819c9d65fb11e2020a654c42;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/content_pres/cicNotationLexer.ml b/helm/ocaml/content_pres/cicNotationLexer.ml
index 33fb8fd78..958b246de 100644
--- a/helm/ocaml/content_pres/cicNotationLexer.ml
+++ b/helm/ocaml/content_pres/cicNotationLexer.ml
@@ -302,7 +302,7 @@ and level2_ast_token =
         remove_left_quote (Ulexing.utf8_lexeme lexbuf))
   | meta_anonymous -> return lexbuf ("UNPARSED_META", "anonymous")
   | beginnote -> 
-      let comment = comment_token (Ulexing.utf8_lexeme lexbuf) 0 lexbuf in
+      let _comment = comment_token (Ulexing.utf8_lexeme lexbuf) 0 lexbuf in
 (*       let comment =
         Ulexing.utf8_sub_lexeme lexbuf 2 (Ulexing.lexeme_length lexbuf - 4)
       in
@@ -347,5 +347,5 @@ let lookup_ligatures lexeme =
     if lexeme.[0] = '\\'
     then [ Utf8Macro.expand (String.sub lexeme 1 (String.length lexeme - 1)) ]
     else List.rev (Hashtbl.find_all ligatures lexeme)
-  with Invalid_argument _ | Utf8Macro.Macro_not_found _ as exn -> []
+  with Invalid_argument _ | Utf8Macro.Macro_not_found _ -> []