From fc651cb876aae633276dd3dfa06d0cf1b9674a03 Mon Sep 17 00:00:00 2001
From: Mitya Lyubarskiy <mityal@fb.com>
Date: Mon, 16 Sep 2019 05:21:24 -0700
Subject: [PATCH] [nullsafe] Remove deadcode

Summary: deadcode was introduced in D17313660

Reviewed By: ngorogiannis

Differential Revision: D17395584

fbshipit-source-id: eeb4fa0eb
---
 infer/src/IR/Typ.mli | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/infer/src/IR/Typ.mli b/infer/src/IR/Typ.mli
index bfd332129..ca66ebc71 100644
--- a/infer/src/IR/Typ.mli
+++ b/infer/src/IR/Typ.mli
@@ -560,9 +560,6 @@ being the name of the struct, [None] means the parameter is of some other type.
   val is_objc_block : t -> bool
   (** Return whether the procname is a block procname. *)
 
-  val hash : t -> int
-  (** Hash function for procname. *)
-
   val is_c_method : t -> bool
   (** Return true this is an Objective-C/C++ method name. *)