X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Futils64.ml;h=f655743a712269bcae86bfa96093d0598f4c730a;hb=974dacbf4f625bfd8ea83db69d6b346050141fea;hp=cfebeecbd95fa9eda518d963235f7f5b252467a6;hpb=cba2938d929fd5119b1491686ddc224d5af618c6;p=tatoo.git

diff --git a/include/utils64.ml b/include/utils64.ml
index cfebeec..f655743 100644
--- a/include/utils64.ml
+++ b/include/utils64.ml
@@ -9,5 +9,5 @@ DEFINE UTILS64__ML__
     DEFINE HPARAM = 65599
     DEFINE HPARAM2 = 4303228801
     DEFINE HPARAM3 = 282287506116799
-    DEFINE HPARAM4 = 71034040046345985 
+    DEFINE HPARAM4 = 71034040046345985
 END