blob: c587f2b6cd3bff10eee78dde4a364ee5fae7a507 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
Revision 396 from the official extlib repository.
--- extlib/extHashtbl.ml (revision 395)
+++ extlib/extHashtbl.ml (working copy)
@@ -32,6 +32,7 @@
}
include Hashtbl
+ let create n = Hashtbl.create (* no seed *) n
external h_conv : ('a, 'b) t -> ('a, 'b) h_t = "%identity"
external h_make : ('a, 'b) h_t -> ('a, 'b) t = "%identity"
|