removed no longer used METAs

[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..8848a3ce5045b4648e1d3f8b49fe5db27444e931 100644 (file)
--- a/helm/ocaml/content_pres/cicNotationLexer.ml
+++ b/helm/ocaml/content_pres/cicNotationLexer.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 exception Error of int * int * string
@@ -302,7 +304,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 +349,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 _ -> []