diff options
| -rw-r--r-- | includes/rts/Stable.h | 3 | ||||
| -rw-r--r-- | rts/Stable.h | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/includes/rts/Stable.h b/includes/rts/Stable.h index 38ca665bfb..ec867e486c 100644 --- a/includes/rts/Stable.h +++ b/includes/rts/Stable.h @@ -15,8 +15,7 @@ #define RTS_STABLE_H EXTERN_INLINE StgPtr deRefStablePtr (StgStablePtr stable_ptr); -StgStablePtr getStablePtr (StgPtr p); -void freeStablePtr (StgStablePtr sp); +StgStablePtr getStablePtr (StgPtr p); /* ----------------------------------------------------------------------------- PRIVATE from here. diff --git a/rts/Stable.h b/rts/Stable.h index 1f58853cb8..d7b7f8bb1e 100644 --- a/rts/Stable.h +++ b/rts/Stable.h @@ -19,6 +19,8 @@ #include "BeginPrivate.h" +void freeStablePtr ( StgStablePtr sp ); + void initStablePtrTable ( void ); void exitStablePtrTable ( void ); StgWord lookupStableName ( StgPtr p ); |