#include "WSDeque.h"
+#include "BeginPrivate.h"
+
/* typedef for SparkPool in RtsTypes.h */
#if defined(THREADED_RTS)
void freeSparkPool (SparkPool *pool);
void createSparkThread (Capability *cap);
void traverseSparkQueue(evac_fn evac, void *user, Capability *cap);
-void pruneSparkQueue (evac_fn evac, void *user, Capability *cap);
+void pruneSparkQueue (Capability *cap);
INLINE_HEADER void discardSparks (SparkPool *pool);
INLINE_HEADER long sparkPoolSize (SparkPool *pool);
#endif // THREADED_RTS
+#include "EndPrivate.h"
+
#endif /* SPARKS_H */