From bd48a7d0dd9bcaaff78ac097301b83761dfaff31 Mon Sep 17 00:00:00 2001 From: Dulma Rodriguez Date: Thu, 17 Sep 2015 16:25:49 -0100 Subject: [PATCH] [clang] Fixing eradicate tests --- infer/src/backend/inferanalyze.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/inferanalyze.ml b/infer/src/backend/inferanalyze.ml index 412157ab2..27fa6c07f 100644 --- a/infer/src/backend/inferanalyze.ml +++ b/infer/src/backend/inferanalyze.ml @@ -405,7 +405,7 @@ let create_minimal_clusters file_cg exe_env to_analyze_map : cluster list = let source = Exe_env.get_source exe_env proc_name in mapr := Procname.Map.add proc_name source !mapr; with Not_found -> () in - if isdefined && !Config.curr_language = Config.Java then + if isdefined && Procname.is_java pn then let tenv = Exe_env.get_tenv exe_env pn in (* Add the overridden methods, so they can be found by the cluster. *) PatternMatch.proc_iter_overridden_methods extend_map tenv pn