From f0fffd3c59b49195048762fd869229ea3025c890 Mon Sep 17 00:00:00 2001
From: Martino Luca <martinoluca@fb.com>
Date: Tue, 19 Jul 2016 08:42:13 -0700
Subject: [PATCH] Add `dotty` field constant

Reviewed By: akotulski

Differential Revision: D3586501

fbshipit-source-id: a5cd3b5
---
 infer/lib/python/inferlib/issues.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/lib/python/inferlib/issues.py b/infer/lib/python/inferlib/issues.py
index ab9866242..310bba404 100644
--- a/infer/lib/python/inferlib/issues.py
+++ b/infer/lib/python/inferlib/issues.py
@@ -90,6 +90,7 @@ CSV_INDEX_ALWAYS_REPORT = 14
 CSV_INDEX_ADVICE = 15
 
 # field names in rows of json reports
+JSON_INDEX_DOTTY = 'dotty'
 JSON_INDEX_FILENAME = 'file'
 JSON_INDEX_HASH = 'hash'
 JSON_INDEX_KIND = 'kind'