removed deadcode / fixed typos (thanks to ocaml 3.09)

[helm.git] / helm / ocaml / content_pres / cicNotationLexer.ml

diff --git a/helm/ocaml/content_pres/cicNotationLexer.ml b/helm/ocaml/content_pres/cicNotationLexer.ml
index 33fb8fd78494085a819c9d65fb11e2020a654c42..958b246deefe7ee567a4b4c6bf38a558b04f25a9 100644 (file)
--- 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 _ -> []