diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-06-21 16:21:00 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-06-21 16:21:00 +0000 |
| commit | a8a0e92f5a280f372bb400a7a9c3039596265682 (patch) | |
| tree | d3bf67f1f25288ba51184832914128e0bcfad0f2 | |
| parent | fe137eedb508d4acaad6a0be4dbb2ec8e432af5d (diff) | |
follow signature change of Hashtbl
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | testsuite/tests/lib-hashtbl/htbl.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/lib-hashtbl/htbl.ml b/testsuite/tests/lib-hashtbl/htbl.ml index 84a71beb7..f8beacc77 100644 --- a/testsuite/tests/lib-hashtbl/htbl.ml +++ b/testsuite/tests/lib-hashtbl/htbl.ml @@ -78,6 +78,7 @@ module HofM (M: Map.S) : Hashtbl.S with type key = M.key = type 'a t = (key, 'a) Hashtbl.t let create s = Hashtbl.create s let clear = Hashtbl.clear + let reset = Hashtbl.reset let copy = Hashtbl.copy let add = Hashtbl.add let remove = Hashtbl.remove |