diff options
Diffstat (limited to 'includes/rts/StaticPtrTable.h')
| -rw-r--r-- | includes/rts/StaticPtrTable.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/includes/rts/StaticPtrTable.h b/includes/rts/StaticPtrTable.h index e536f4b496..97a1720823 100644 --- a/includes/rts/StaticPtrTable.h +++ b/includes/rts/StaticPtrTable.h @@ -11,8 +11,7 @@ * * -------------------------------------------------------------------------- */ -#ifndef RTS_STATICPTRTABLE_H -#define RTS_STATICPTRTABLE_H +#pragma once /** Inserts an entry in the Static Pointer Table. * @@ -43,5 +42,3 @@ void hs_spt_insert_stableptr(StgWord64 key[2], StgStablePtr *entry); * * */ void hs_spt_remove (StgWord64 key[2]); - -#endif /* RTS_STATICPTRTABLE_H */ |