diff options
Diffstat (limited to 'rts/RetainerSet.h')
| -rw-r--r-- | rts/RetainerSet.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/RetainerSet.h b/rts/RetainerSet.h index aa5f44beaa..a9e4345140 100644 --- a/rts/RetainerSet.h +++ b/rts/RetainerSet.h @@ -118,7 +118,7 @@ isMember(retainer r, RetainerSet *rs) RetainerSet *addElement(retainer, RetainerSet *); // Prints a single retainer set. -void printRetainerSetShort(FILE *, RetainerSet *, W_, uint32_t); +void printRetainerSetShort(FILE *, RetainerSet *, W_, uint32_t, bool); // Print the statistics on all the retainer sets. // store the sum of all costs and the number of all retainer sets. |