From 36cc1b0d2e70ace2bac6073707291e794b041e17 Mon Sep 17 00:00:00 2001 From: jrm Date: Tue, 9 Feb 2016 12:14:25 -0800 Subject: [PATCH] Remove dead code. Feature now implemented in .inferconfig Reviewed By: sblackshear Differential Revision: D2915828 fb-gh-sync-id: b0b6ec0 shipit-source-id: b0b6ec0 --- infer/src/java/jFrontend.ml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/infer/src/java/jFrontend.ml b/infer/src/java/jFrontend.ml index 6f3acc13e..2f8a90caa 100644 --- a/infer/src/java/jFrontend.ml +++ b/infer/src/java/jFrontend.ml @@ -183,16 +183,11 @@ type capture_status = (* returns true for the set of classes that are selected to be translated *) let should_capture classes package_opt source_basename node = let classname = Javalib.get_name node in - let temporary_skip = - (* TODO (#6341744): remove this *) - IList.exists - (fun part -> part = "graphschema") - (JBasics.cn_package classname) in let match_package pkg cn = match JTransType.package_to_string (JBasics.cn_package cn) with | None -> pkg = "" | Some found_pkg -> found_pkg = pkg in - if JBasics.ClassSet.mem classname classes && not temporary_skip then + if JBasics.ClassSet.mem classname classes then begin match Javalib.get_sourcefile node with | None -> false