/* -----------------------------------------------------------------------------
- * $Id: Weak.h,v 1.2 1998/12/02 13:29:01 simonm Exp $
+ * $Id: Weak.h,v 1.4 1999/02/11 17:40:28 simonm Exp $
*
- * Weak pointers / finalisers
+ * (c) The GHC Team, 1998-1999
+ *
+ * Weak pointers / finalizers
*
* ---------------------------------------------------------------------------*/
extern StgWeak *weak_ptr_list;
-void finaliseWeakPointersNow(void);
-void scheduleFinalisers(StgWeak *w);
+void finalizeWeakPointersNow(void);
+void scheduleFinalizers(StgWeak *w);
void markWeakList(void);