diff options
Diffstat (limited to 'rts/GetTime.h')
| -rw-r--r-- | rts/GetTime.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/rts/GetTime.h b/rts/GetTime.h index 4aaddd00fe..719b45f8b9 100644 --- a/rts/GetTime.h +++ b/rts/GetTime.h @@ -6,8 +6,7 @@ * * ---------------------------------------------------------------------------*/ -#ifndef GETTIME_H -#define GETTIME_H +#pragma once #include "BeginPrivate.h" @@ -26,5 +25,3 @@ void getUnixEpochTime (StgWord64 *sec, StgWord32 *nsec); W_ getPageFaults (void); #include "EndPrivate.h" - -#endif /* GETTIME_H */ |