diff options
Diffstat (limited to 'checker/typeops.ml')
| -rw-r--r-- | checker/typeops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/typeops.ml b/checker/typeops.ml index 07c7bc367b..a5b110f9b2 100644 --- a/checker/typeops.ml +++ b/checker/typeops.ml @@ -167,7 +167,7 @@ let sort_of_product env domsort rangsort = let judge_of_cast env (c,cj) k tj = let conversion = match k with - | VMcast -> vm_conv CUMUL + | VMcast | NATIVEcast -> vm_conv CUMUL | DEFAULTcast -> conv_leq in try conversion env cj tj |