diff options
| author | Pierre-Marie Pédrot | 2020-01-16 20:45:58 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-16 20:49:16 +0100 |
| commit | 849c5d47475164190659915304e601b436e9b9d3 (patch) | |
| tree | afb2ec2633297a89738a1892e07c99bd5145d523 /checker/values.mli | |
| parent | 25e50a61ca7a8f6698a1579ee262a9e57395e479 (diff) | |
Move the per-architecture check of marshalled Uint63s to Values.
Diffstat (limited to 'checker/values.mli')
| -rw-r--r-- | checker/values.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 |