From 5481f14768bcda0ec61c09f6657f48dd55fc07a0 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 13 Apr 2016 09:01:09 -0700
Subject: [PATCH] Remove dead code introduced in 41e99357

Summary: public

Reviewed By: akotulski

Differential Revision: D3171879

fb-gh-sync-id: ab1f29a
fbshipit-source-id: ab1f29a
---
 infer/src/clang/cTrans_utils.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/infer/src/clang/cTrans_utils.ml b/infer/src/clang/cTrans_utils.ml
index 6ece4fdb3..130375a7e 100644
--- a/infer/src/clang/cTrans_utils.ml
+++ b/infer/src/clang/cTrans_utils.ml
@@ -87,9 +87,6 @@ end
 module GotoLabel =
 struct
 
-  (* stores goto labels local to a function, with the relative node in the cfg *)
-  let goto_label_node_map : CContext.str_node_map = Hashtbl.create 17
-
   let find_goto_label context label sil_loc =
     try
       Hashtbl.find context.CContext.label_map label