summaryrefslogtreecommitdiff
path: root/otherlibs
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-07-17 22:41:47 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-07-17 22:41:47 +0000
commitd9d3e91ea1caaa084d4d23776e3c03ce0befefd3 (patch)
treec3113feffd2acb0ed756825dfc82a345064d7e1b /otherlibs
parentf8c356128ed3b741963ef62d2d5a46429f535f01 (diff)
downloadocaml-d9d3e91ea1caaa084d4d23776e3c03ce0befefd3.tar.gz
forgot to remove labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r--otherlibs/db/db.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/db/db.mli b/otherlibs/db/db.mli
index ae0e73b55e..13d7fbacef 100644
--- a/otherlibs/db/db.mli
+++ b/otherlibs/db/db.mli
@@ -79,4 +79,4 @@ val add : t -> key -> data -> unit
val find : t -> key -> data
val find_all : t -> key -> data list
val remove : t -> key -> unit
-val iter : fun:(key:string -> data:string -> unit) -> t -> unit
+val iter : (string -> string -> unit) -> t -> unit