diff options
Diffstat (limited to 'includes/rts/Stable.h')
| -rw-r--r-- | includes/rts/Stable.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/includes/rts/Stable.h b/includes/rts/Stable.h index f75b9ab806..75fcf4f7eb 100644 --- a/includes/rts/Stable.h +++ b/includes/rts/Stable.h @@ -11,8 +11,7 @@ * * ---------------------------------------------------------------------------*/ -#ifndef RTS_STABLE_H -#define RTS_STABLE_H +#pragma once EXTERN_INLINE StgPtr deRefStablePtr (StgStablePtr stable_ptr); StgStablePtr getStablePtr (StgPtr p); @@ -39,5 +38,3 @@ StgPtr deRefStablePtr(StgStablePtr sp) { return stable_ptr_table[(StgWord)sp].addr; } - -#endif /* RTS_STABLE_H */ |