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 2f9aeea644..44ec519c68 100644 --- a/rts/RetainerSet.h +++ b/rts/RetainerSet.h @@ -140,7 +140,7 @@ RetainerSet *addElement(retainer, RetainerSet *); #if defined(SECOND_APPROACH) // Prints a single retainer set. -void printRetainerSetShort(FILE *, RetainerSet *, uint32_t); +void printRetainerSetShort(FILE *, RetainerSet *, W_, uint32_t); #endif // Print the statistics on all the retainer sets. |