[report] Make the category field non optional by addtion the No_categ…

…ory category to all remaining issue types Reviewed By: ngorogiannis Differential Revision: D55486221 fbshipit-source-id: ce9da78c575c81373b43e08edbbe2930c54f1a88
telekom · Apr 9, 2024 · c981aad · c981aad
1 parent de1195f
commit c981aad
Show file tree

Hide file tree

Showing 5 changed files with 146 additions and 137 deletions.
diff --git a/infer/src/atd/jsonbug.atd b/infer/src/atd/jsonbug.atd
@@ -142,7 +142,7 @@ type jsonbug = {
   qualifier : string;
   ?suggestion : string option;
   severity : string;
-  ?category: string option;
+  category: string;
   line: int;
   column: int;
   procedure : string;