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

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