diff options
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index a3a8abdf..a4b02806 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1012,7 +1012,8 @@ let type_is_unsigned_2s_complement t = | Ast.TY_mach TY_u64 | Ast.TY_char | Ast.TY_uint - | Ast.TY_bool -> true + | Ast.TY_bool + | Ast.TY_native _ -> true | _ -> false ;; |