ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_proof_checking / cicRecord.mli

diff --git a/helm/ocaml/cic_proof_checking/cicRecord.mli b/helm/ocaml/cic_proof_checking/cicRecord.mli
index 04ee188b52364a4be11df76c9eff5e1405021fe8..b966f317ca3a951a1a4125a76a431f4bb7c18527 100644 (file)
--- 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