X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Futils.ml;h=fcb74c145bedf9f3c3597295444d8c4c1b4f5bf8;hb=9f548bb9ce8e238184d27965a560f1af882c0627;hp=7d3690a599c2d2a057957ac1f9fc6aee510c4282;hpb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;p=SXSI%2Fxpathcomp.git

diff --git a/include/utils.ml b/include/utils.ml
index 7d3690a..fcb74c1 100644
--- a/include/utils.ml
+++ b/include/utils.ml
@@ -131,7 +131,8 @@ let next_power2 v =
     v+1
 
 external vb : bool -> int = "%identity"
-
+let compare_int x y = vb (x > y) - vb (x < y)
+let compare_int_unsafe x y = x - y
 
 
 END (* IFNDEF UTILS__ML__ *)