X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUtil.mli;h=d45078fcdf69ca3d910c49f64a2a8d7951109db2;hb=358cefe50cccd4cb7d8e2a9cecb7efcb5780b8a3;hp=0bf193e7d6e21bbf4c2ff486b623e7333d0eac43;hpb=53ee2f5095adadffcafb40e436d23dc330d3bd87;p=helm.git

diff --git a/helm/ocaml/cic/cicUtil.mli b/helm/ocaml/cic/cicUtil.mli
index 0bf193e7d..d45078fcd 100644
--- a/helm/ocaml/cic/cicUtil.mli
+++ b/helm/ocaml/cic/cicUtil.mli
@@ -41,6 +41,7 @@ val strip_prods: int -> Cic.term -> Cic.term
 
 (** conversions between terms which are fully representable as uris (Var, Const,
  * Mutind, and MutConstruct) and corresponding tree representations *)
+(*CSC: horrible: the strings are URIs. To change also DisambiguateTypes.* *)
 val term_of_uri: string -> Cic.term (** @raise UriManager.IllFormedUri *)
 val uri_of_term: Cic.term -> string (** @raise Invalid_argument "uri_of_term" *)