[json] Remove unused type

Reviewed By: jvillard Differential Revision: D21839561 fbshipit-source-id: b2f8f597a
5 years ago · 8b1310bb31
parent 9e44bc3687
commit 8b1310bb31
1 changed files with 0 additions and 3 deletions
--- 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;