mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
C#: Code tidy.
This commit is contained in:
@@ -120,8 +120,8 @@ diagnostics(
|
||||
int location: @location_default ref
|
||||
);
|
||||
|
||||
extraction_messages(
|
||||
unique int id: @extraction_error,
|
||||
extractor_messages(
|
||||
unique int id: @extractor_message,
|
||||
int severity: int ref,
|
||||
string origin : string ref,
|
||||
string text : string ref,
|
||||
|
||||
Reference in New Issue
Block a user