From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 23 Sep 2005 13:46:46 +0000 (+0000)
Subject: removed a line of dead code
X-Git-Tag: LAST_BEFORE_NEW~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a44f9928ccef76d57feafb3250bd94449318aaf5;p=helm.git

removed a line of dead code
---

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