Remplacement de is_bound par source pour les besoins d'ocamlopt

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 4 insertions, 3 deletions

diff --git a/utils/consistbl.mli b/utils/consistbl.mli
index ce66399957..edaac12fc5 100644
--- a/utils/consistbl.mli
+++ b/utils/consistbl.mli
@@ -37,9 +37,10 @@ val set: t -> string -> Digest.t -> string -> unit
          [crc] in [tbl], even if [name] already had a different CRC
          associated with [name] in [tbl]. *)
 
-val is_bound: t -> string -> bool
-      (* [is_bound tbl name] returns [true] if [name] has an associated
-         CRC in [tbl], [false] otherwise. *)
+val source: t -> string -> string
+      (* [source tbl name] returns the file name associated with [name]
+         if the latter has an associated CRC in [tbl].
+         Raise [Not_found] otherwise. *)
 
 val extract: t -> (string * Digest.t) list
       (* Return all bindings ([name], [crc]) contained in the given