From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 1 Apr 2004 15:45:08 +0000 (+0000)
Subject: removed an out of date comment
X-Git-Tag: dead_dir_walking~99
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=263ec7b09d7aedd71edd0ae6aa0bbe58b2a980cb;p=helm.git

removed an out of date comment
---

diff --git a/helm/ocaml/cic_disambiguation/logic_notation.ml b/helm/ocaml/cic_disambiguation/logic_notation.ml
index c88a0ec7d..073e2cdf3 100644
--- a/helm/ocaml/cic_disambiguation/logic_notation.ml
+++ b/helm/ocaml/cic_disambiguation/logic_notation.ml
@@ -46,8 +46,6 @@ EXTEND
     ];
 END
 
-(* TODO a lot of hard coded URIs, move them in HelmLibraryObjects *)
-
 let _ =
     (* TODO cut-and-pasted code: here, in arit_notation.ml and
      * disambiguateChoices.ml *)