diff --git a/infer/src/IR/Typ.mli b/infer/src/IR/Typ.mli index 4d2f7a3c8..c4b8eeeba 100644 --- a/infer/src/IR/Typ.mli +++ b/infer/src/IR/Typ.mli @@ -147,7 +147,7 @@ val java_short : t val boolean : t -val char : t +val char : t [@@warning "-32"] val int : t (** signed int type *) diff --git a/infer/src/java/jTransType.ml b/infer/src/java/jTransType.ml index 813582b6b..9c10c897a 100644 --- a/infer/src/java/jTransType.ml +++ b/infer/src/java/jTransType.ml @@ -47,7 +47,7 @@ let cast_type = function | JBir.I2B -> Typ.boolean | JBir.I2C -> - Typ.char + Typ.java_char | JBir.I2S -> Typ.java_short