diff options
Diffstat (limited to 'atddiff/src/lib/Atddiff_output_t.mli')
| -rw-r--r-- | atddiff/src/lib/Atddiff_output_t.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/atddiff/src/lib/Atddiff_output_t.mli b/atddiff/src/lib/Atddiff_output_t.mli index c096bd9..fbb2bbe 100644 --- a/atddiff/src/lib/Atddiff_output_t.mli +++ b/atddiff/src/lib/Atddiff_output_t.mli @@ -22,13 +22,13 @@ type incompatibility_kind = type direction = Backward | Forward | Both type finding = { + hash: string; direction: direction; kind: incompatibility_kind; location_old: location option; location_new: location option; - description: string + description: string; + affected_types: string list } -type full_finding = { finding: finding; affected_types: string list } - -type result = { findings: full_finding list } +type result = { findings: finding list } |