X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicRecord.mli;h=b966f317ca3a951a1a4125a76a431f4bb7c18527;hb=28ac70d3f475442cda4ef30e0e9c0e6d012b2527;hp=04ee188b52364a4be11df76c9eff5e1405021fe8;hpb=358cefe50cccd4cb7d8e2a9cecb7efcb5780b8a3;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicRecord.mli b/helm/ocaml/cic_proof_checking/cicRecord.mli
index 04ee188b5..b966f317c 100644
--- a/helm/ocaml/cic_proof_checking/cicRecord.mli
+++ b/helm/ocaml/cic_proof_checking/cicRecord.mli
@@ -24,4 +24,5 @@
  *)
 
 (** projections_of [uri] returns uri * name * term *)    
-val projections_of: UriManager.uri -> (UriManager.uri * string * Cic.term) list
+val projections_of:
+ UriManager.uri -> string list -> (UriManager.uri * string * Cic.term) list