From a44f9928ccef76d57feafb3250bd94449318aaf5 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 23 Sep 2005 13:46:46 +0000 Subject: [PATCH] removed a line of dead code --- helm/ocaml/cic_notation/cicNotationParser.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/helm/ocaml/cic_notation/cicNotationParser.ml b/helm/ocaml/cic_notation/cicNotationParser.ml index 4622f67a6..578a9d6f0 100644 --- a/helm/ocaml/cic_notation/cicNotationParser.ml +++ b/helm/ocaml/cic_notation/cicNotationParser.ml @@ -46,8 +46,6 @@ let term = Grammar.Entry.create level2_ast_grammar "term" let let_defs = Grammar.Entry.create level2_ast_grammar "let_defs" let level2_meta = Grammar.Entry.create level2_meta_grammar "level2_meta" -let return_term loc term = () - let int_of_string s = try Pervasives.int_of_string s -- 2.39.2