From 8b1310bb31e74243cf8c969f26ec0fd83195c46e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Tue, 2 Jun 2020 08:39:01 -0700
Subject: [PATCH] [json] Remove unused type

Reviewed By: jvillard

Differential Revision: D21839561

fbshipit-source-id: b2f8f597a
---
 infer/src/atd/jsonbug.atd | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/infer/src/atd/jsonbug.atd b/infer/src/atd/jsonbug.atd
index 4bc6b56c3..dde6c2962 100644
--- a/infer/src/atd/jsonbug.atd
+++ b/infer/src/atd/jsonbug.atd
@@ -66,9 +66,6 @@ type jsonbug = {
 
 type report = jsonbug list
 
-type json_trace = {
-  trace : json_trace_item list;
-}
 
 type hum_info = {
   hum_polynomial : string;