diff options
Diffstat (limited to 'src/boot/util')
| -rw-r--r-- | src/boot/util/common.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml index ad784877..f33a6ea1 100644 --- a/src/boot/util/common.ml +++ b/src/boot/util/common.ml @@ -105,7 +105,6 @@ type ty_param_idx = int type nabi_conv = CONV_rust | CONV_cdecl - | CONV_intrinsic ;; type nabi = { nabi_indirect: bool; @@ -116,7 +115,6 @@ let string_to_conv (a:string) : nabi_conv option = match a with "cdecl" -> Some CONV_cdecl | "rust" -> Some CONV_rust - | "intrinsic" -> Some CONV_intrinsic | _ -> None (* FIXME: remove this when native items go away. *) |