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