diff options
Diffstat (limited to 'rts/GetTime.h')
| -rw-r--r-- | rts/GetTime.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/GetTime.h b/rts/GetTime.h index 45804aa3a9..4b967b5b9a 100644 --- a/rts/GetTime.h +++ b/rts/GetTime.h @@ -25,7 +25,7 @@ void getProcessTimes (Time *user, Time *elapsed); void getUnixEpochTime (StgWord64 *sec, StgWord32 *nsec); // Not strictly timing, but related -nat getPageFaults (void); +W_ getPageFaults (void); #include "EndPrivate.h" |