diff options
Diffstat (limited to 'includes/rts/OSThreads.h')
| -rw-r--r-- | includes/rts/OSThreads.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/includes/rts/OSThreads.h b/includes/rts/OSThreads.h index 2ebbd1e0f1..05e52d919a 100644 --- a/includes/rts/OSThreads.h +++ b/includes/rts/OSThreads.h @@ -12,8 +12,7 @@ * * --------------------------------------------------------------------------*/ -#ifndef RTS_OSTHREADS_H -#define RTS_OSTHREADS_H +#pragma once #if defined(HAVE_PTHREAD_H) && !defined(mingw32_HOST_OS) @@ -257,5 +256,3 @@ typedef StgWord64 KernelThreadId; KernelThreadId kernelThreadId (void); #endif /* CMINUSMINUS */ - -#endif /* RTS_OSTHREADS_H */ |