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

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