Add `dotty` field constant

Reviewed By: akotulski Differential Revision: D3586501 fbshipit-source-id: a5cd3b5
8 years ago · f0fffd3c59
parent 062ec6c872
commit f0fffd3c59
1 changed files with 1 additions and 0 deletions
--- 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'