Doing the decision procedure

[SXSI/xpathcomp.git] / utils.ml

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