From 1141c8c5a8e4f4c93aa346950fbc5b9e5afdc134 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Mon, 10 Sep 2018 05:41:22 -0700
Subject: [PATCH] Linters: remove def_file

Summary: Now that the def file is stored in the issue type (hence in the issue desc), no need for it here any more.

Reviewed By: martinoluca

Differential Revision: D9654109

fbshipit-source-id: 0b3c413bf
---
 infer/src/clang/cFrontend_errors.ml  | 3 +--
 infer/src/clang/cFrontend_errors.mli | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/infer/src/clang/cFrontend_errors.ml b/infer/src/clang/cFrontend_errors.ml
index e56620eca..c0df4775a 100644
--- a/infer/src/clang/cFrontend_errors.ml
+++ b/infer/src/clang/cFrontend_errors.ml
@@ -13,7 +13,6 @@ module MF = MarkupFormatter
 type linter =
   { condition: CTL.t
   ; issue_desc: CIssue.issue_desc
-  ; def_file: string option
   ; whitelist_paths: ALVar.t list
   ; blacklist_paths: ALVar.t list }
 
@@ -248,7 +247,7 @@ let create_parsed_linters linters_def_file checkers : linter list =
     in
     let issue_desc = {issue_desc with issue_type} in
     L.(debug Linters Medium) "@\nIssue_desc = %a@\n" CIssue.pp_issue issue_desc ;
-    {condition; issue_desc; def_file= Some linters_def_file; whitelist_paths; blacklist_paths}
+    {condition; issue_desc; whitelist_paths; blacklist_paths}
   in
   List.map ~f:do_one_checker checkers
 
diff --git a/infer/src/clang/cFrontend_errors.mli b/infer/src/clang/cFrontend_errors.mli
index 7d8a39021..b5f490533 100644
--- a/infer/src/clang/cFrontend_errors.mli
+++ b/infer/src/clang/cFrontend_errors.mli
@@ -10,7 +10,6 @@ open! IStd
 type linter =
   { condition: CTL.t
   ; issue_desc: CIssue.issue_desc
-  ; def_file: string option
   ; whitelist_paths: ALVar.t list
   ; blacklist_paths: ALVar.t list }