12 lines
344 B
Diff
12 lines
344 B
Diff
|
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"
|