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 74152b9695..5004527d21 100644 --- a/rts/RetainerSet.h +++ b/rts/RetainerSet.h @@ -165,7 +165,7 @@ void traverseAllRetainerSet(void (*f)(RetainerSet *)); #ifdef SECOND_APPROACH // Prints a single retainer set. -void printRetainerSetShort(FILE *, RetainerSet *); +void printRetainerSetShort(FILE *, RetainerSet *, nat); #endif // Print the statistics on all the retainer sets. |