diff options
| author | Gaëtan Gilbert | 2020-01-20 23:31:36 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-01-20 23:31:36 +0100 |
| commit | e0f1a73167b890f0b4002b36c8ee42f0f0b48b5b (patch) | |
| tree | 03245ccf92bf3949367763aa91c2ead519d66552 /checker/values.mli | |
| parent | 961b48da77a28c2030180d0148de1e852ce7a37f (diff) | |
| parent | 849c5d47475164190659915304e601b436e9b9d3 (diff) | |
Merge PR #11411: Checker validation now performed over reified data
Reviewed-by: SkySkimmer
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 |