Fix a bug in the build script that was causing some .cmo files to have a false depend...

[tatoo.git] / include / utils64.ml

diff --git a/include/utils64.ml b/include/utils64.ml
index cfebeec..f655743 100644 (file)
--- 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