diff options
Diffstat (limited to 'src/boot')
| -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 c22e788b..4f02455a 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -1286,7 +1286,8 @@ let is_prim_type (t:Ast.ty) : bool = | Ast.TY_uint | Ast.TY_char | Ast.TY_mach _ - | Ast.TY_bool -> true + | Ast.TY_bool + | Ast.TY_native _ -> true | _ -> false ;; |