X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fmisc.ml;h=743dda8d7f996cb0f80c189a4ef6c7ee26736785;hp=65c3a0ec309bdd72cbaf4f81cdb330d5b7623fc2;hb=aade6d9ba2e2b65e021de8a1c3a2d3874aa5742e;hpb=41dd1fed04cabad212f10fce3484545f6e9d9444 diff --git a/src/misc.ml b/src/misc.ml index 65c3a0e..743dda8 100644 --- a/src/misc.ml +++ b/src/misc.ml @@ -25,7 +25,7 @@ struct type t = data T.t let create = T.create let add h v = T.add h v v - let find = T.find + let find h v = T.find h v let remove = T.remove let find_all = T.find_all let clear = T.clear @@ -45,3 +45,5 @@ struct let x1, y1 = p1 and x2, y2 = p2 in X.equal x1 x2 && Y.equal y1 y2 end + +external int_of_bool : bool -> int = "%identity"