X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=utils.ml;h=cfa6c8e859caec5368a65c27ec09ccd147e47e0a;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=74bf778e356e50cbfc70ab66e2a5b740db7aad7d;hpb=2676d5a3bbb1e6f6a5af66477edfe3b4c849f4e7;p=SXSI%2Fxpathcomp.git

diff --git a/utils.ml b/utils.ml
index 74bf778..cfa6c8e 100644
--- a/utils.ml
+++ b/utils.ml
@@ -46,6 +46,4 @@ DEFINE MED_H_SIZE    = PRIME5
 DEFINE BIG_H_SIZE    = PRIME8
 
 
-
-
 END (* IFNDEF UTILS__ML__ *)