X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Flogic_notation.ml;h=073e2cdf34d1dad8b99eabd82adfc2f577945102;hb=3f00169098f1cd1cdecbbf20982f7c4c58f7d71d;hp=c88a0ec7d282ec4ff1fd4e3d9e1ada6aa99dd01f;hpb=4240cc4ea18d734df697ccbce423d42f74c03c63;p=helm.git

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 *)