diff options
Diffstat (limited to 'rts/RtsSignals.h')
| -rw-r--r-- | rts/RtsSignals.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index de346b836d..d4176034e3 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.h @@ -6,8 +6,7 @@ * * ---------------------------------------------------------------------------*/ -#ifndef RTSSIGNALS_H -#define RTSSIGNALS_H +#pragma once #if !defined(mingw32_HOST_OS) @@ -63,5 +62,3 @@ void markSignalHandlers (evac_fn evac, void *user); #include "EndPrivate.h" #endif /* RTS_USER_SIGNALS */ - -#endif /* RTSSIGNALS_H */ |