From 977f73ff5bcc7ed1e9f7f3abdf269352e682e502 Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@fb.com>
Date: Thu, 1 Sep 2016 10:53:57 -0700
Subject: [PATCH] Add column to json file of issues

Reviewed By: cristianoc

Differential Revision: D3804438

fbshipit-source-id: 47dec20
---
 infer/src/backend/InferPrint.re | 1 +
 infer/src/backend/jsonbug.atd   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/infer/src/backend/InferPrint.re b/infer/src/backend/InferPrint.re
index 4fdf3f005..1df6d28b0 100644
--- a/infer/src/backend/InferPrint.re
+++ b/infer/src/backend/InferPrint.re
@@ -450,6 +450,7 @@ let module IssuesJson = {
           qualifier: error_desc_to_plain_string error_desc,
           severity,
           line: loc.Location.line,
+          column: loc.Location.col,
           procedure: Procname.to_string procname,
           procedure_id,
           file,
diff --git a/infer/src/backend/jsonbug.atd b/infer/src/backend/jsonbug.atd
index 0044bc367..9e727de6c 100644
--- a/infer/src/backend/jsonbug.atd
+++ b/infer/src/backend/jsonbug.atd
@@ -25,6 +25,7 @@ type jsonbug = {
   qualifier : string;
   severity : string;
   line: int;
+  column: int;
   procedure : string;
   procedure_id : string;
   file : string;