From 849c5d47475164190659915304e601b436e9b9d3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 16 Jan 2020 20:45:58 +0100
Subject: Move the per-architecture check of marshalled Uint63s to Values.

---
 checker/values.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/values.mli')

diff --git a/checker/values.mli b/checker/values.mli
index ec3b91d5dd..15d307ee29 100644
--- a/checker/values.mli
+++ b/checker/values.mli
@@ -38,7 +38,7 @@ type value =
   | Proxy of value ref
   (** Same as the inner value, used to define recursive types *)
 
-  | Uint63
+  | Int64
   | Float64
 
 (** NB: List and Opt have their own constructors to make it easy to
-- 
cgit v1.2.3