added XmlAttrs attribute for specification of xml attributes directly

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

diff --git a/helm/ocaml/cic_notation/cicNotationLexer.ml b/helm/ocaml/cic_notation/cicNotationLexer.ml
index 01ef6142c8de0c45603a341129804e98074ee78d..92204cfb74221f9ae195c4ee2cd8b29f408a3f9c 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationLexer.ml
+++ b/helm/ocaml/cic_notation/cicNotationLexer.ml
@@ -87,9 +87,7 @@ let _ =
     [ "Prop"; "Type"; "Set"; "let"; "rec"; "corec"; "match"; "with"; "in";
       "and"; "on" ]
 
-let add_level2_ast_keyword k =
-  prerr_endline ("Adding keyword " ^ k);
-  Hashtbl.add level2_ast_keywords k ()
+let add_level2_ast_keyword k = Hashtbl.add level2_ast_keywords k ()
 let remove_level2_ast_keyword k = Hashtbl.remove level2_ast_keywords k
 
 let regexp uri =