parent
29d3112ee9
commit
c3e12acb5a
@ -1,12 +0,0 @@ |
||||
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"
|
Loading…
Reference in new issue