X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcicRecord.mli;h=de361cc7c5afcaf241b3a8125ccf6f929daac226;hb=1b36fc4540d93ff21c1afcf485e47e3fe3f26ddb;hp=b966f317ca3a951a1a4125a76a431f4bb7c18527;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/library/cicRecord.mli b/helm/software/components/library/cicRecord.mli
index b966f317c..de361cc7c 100644
--- a/helm/software/components/library/cicRecord.mli
+++ b/helm/software/components/library/cicRecord.mli
@@ -23,6 +23,4 @@
  * http://helm.cs.unibo.it/
  *)
 
-(** projections_of [uri] returns uri * name * term *)    
-val projections_of:
- UriManager.uri -> string list -> (UriManager.uri * string * Cic.term) list
+val init : unit -> unit