X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Fhelm_registry.mli;h=1f7fd0b56dcb70ab8e8dd0c82ee292abb920588a;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=7dd2a68d436126fd710f43949625c692aa4ea3b0;hpb=e510bddb3826ec421b1e5f22ce972430994a410c;p=helm.git

diff --git a/helm/ocaml/registry/helm_registry.mli b/helm/ocaml/registry/helm_registry.mli
index 7dd2a68d4..1f7fd0b56 100644
--- a/helm/ocaml/registry/helm_registry.mli
+++ b/helm/ocaml/registry/helm_registry.mli
@@ -146,8 +146,8 @@ val get_opt_default: (string -> 'a) -> default:'a -> string -> 'a
   (** never fails with Key_not_found, instead return the empty list *)
 val get_list: (string -> 'a) -> string -> 'a list
 
-  (** same as get_list, but assumes list length to be 2 *)
-val get_pair: (string -> 'a) -> string -> 'a * 'a
+  (** decode values which are blank separated list of values, of length 2 *)
+val get_pair: (string -> 'a) -> (string -> 'b) -> string -> 'a * 'b
 
 (** {4 Shorthands} *)