blob: 56e48b12868e56fc8bfe60f0ed53e73c52ccd765 (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- extlib-1.5.2.orig/extHashtbl.ml 2011-08-06 16:56:39.000000000 +0200
+++ extlib-1.5.2/extHashtbl.ml 2012-01-12 19:48:28.000000000 +0100
@@ -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"
|
