diff options
Diffstat (limited to 'src/conflicts.h')
| -rw-r--r-- | src/conflicts.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/conflicts.h b/src/conflicts.h index d8264cca..c6497ca7 100644 --- a/src/conflicts.h +++ b/src/conflicts.h @@ -37,6 +37,7 @@ void conflicts_update_state_numbers (state_number old_to_new[], void conflicts_print (void); int conflicts_total_count (void); void conflicts_output (FILE *out); +void conflicts_output_xml (FILE *out, int level); void conflicts_free (void); /* Were there conflicts? */ |