From ac80c2cd2667de2942182ae0a98ad3dbadd7b559 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 10 Dec 2010 22:35:55 +0000 Subject: [PATCH] Dead code removed. --- matita/components/content_pres/cicNotationParser.ml | 6 ------ matita/components/content_pres/cicNotationParser.mli | 2 -- 2 files changed, 8 deletions(-) diff --git a/matita/components/content_pres/cicNotationParser.ml b/matita/components/content_pres/cicNotationParser.ml index a9b558968..f3953eb08 100644 --- a/matita/components/content_pres/cicNotationParser.ml +++ b/matita/components/content_pres/cicNotationParser.ml @@ -375,10 +375,6 @@ let parse_level2_meta grammars lexbuf = exc_located_wrapper (fun () -> Grammar.Entry.parse grammars.level2_meta (Obj.magic lexbuf)) -let parse_term grammars lexbuf = - exc_located_wrapper - (fun () -> (Grammar.Entry.parse grammars.term (Obj.magic lexbuf))) - (* create empty precedence level for "term" *) let initialize_grammars grammars = let dummy_action = @@ -865,8 +861,6 @@ let parse_level2_ast status = parse_level2_ast status#notation_parser_db.grammars let parse_level2_meta status = parse_level2_meta status#notation_parser_db.grammars -let parse_term status = - parse_term status#notation_parser_db.grammars let level2_ast_grammar status = status#notation_parser_db.grammars.level2_ast_grammar diff --git a/matita/components/content_pres/cicNotationParser.mli b/matita/components/content_pres/cicNotationParser.mli index 1b6a0cf7d..d9e812f60 100644 --- a/matita/components/content_pres/cicNotationParser.mli +++ b/matita/components/content_pres/cicNotationParser.mli @@ -82,8 +82,6 @@ val let_defs : #status -> val protected_binder_vars : #status -> (NotationPt.term list * NotationPt.term option) Grammar.Entry.e -val parse_term: #status -> Ulexing.lexbuf -> NotationPt.term - (** {2 Debugging} *) (** print "level2_pattern" entry on stdout, flushing afterwards *) -- 2.39.2