From 1b3baa3d455952ff3cb48c1c9d2e73146a99e024 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Wed, 4 Mar 2020 08:22:33 -0800 Subject: [PATCH] [nullsafe] Fix deadcode Summary: Comparison was removed in the previous diff Reviewed By: jvillard Differential Revision: D20249645 fbshipit-source-id: 65d13e9fd --- infer/src/nullsafe/typeOrigin.ml | 2 -- infer/src/nullsafe/typeOrigin.mli | 2 -- 2 files changed, 4 deletions(-) diff --git a/infer/src/nullsafe/typeOrigin.ml b/infer/src/nullsafe/typeOrigin.ml index 5cb3d9c9e..b0e152f41 100644 --- a/infer/src/nullsafe/typeOrigin.ml +++ b/infer/src/nullsafe/typeOrigin.ml @@ -38,8 +38,6 @@ and method_call_origin = ; annotated_signature: AnnotatedSignature.t ; is_library: bool } -let equal = [%compare.equal: t] - let get_nullability = function | NullConst _ -> Nullability.Null diff --git a/infer/src/nullsafe/typeOrigin.mli b/infer/src/nullsafe/typeOrigin.mli index e8e48e9a4..c78aeaacd 100644 --- a/infer/src/nullsafe/typeOrigin.mli +++ b/infer/src/nullsafe/typeOrigin.mli @@ -46,8 +46,6 @@ and method_call_origin = ; annotated_signature: AnnotatedSignature.t ; is_library: bool } -val equal : t -> t -> bool - val get_nullability : t -> Nullability.t val get_description : t -> string option