diff --git a/src/p_local.h b/src/p_local.h
index 562546f70eae8bb49b8ce0dc13d21697e9c18f28..f693760211afcf642490721b6acdded170ed1ddc 100644
--- a/src/p_local.h
+++ b/src/p_local.h
@@ -164,6 +164,7 @@ UINT8 P_FindLowestMare(void);
 void P_FindEmerald(void);
 void P_TransferToAxis(player_t *player, INT32 axisnum);
 boolean P_PlayerMoving(INT32 pnum);
+void P_SpawnThokMobj(player_t *player);
 
 void P_PlayLivesJingle(player_t *player);
 #define P_PlayRinglossSound(s)	S_StartSound(s, (mariomode) ? sfx_mario8 : sfx_altow1 + P_RandomKey(4));
diff --git a/src/p_user.c b/src/p_user.c
index 462e587249dcdd89994df2233153378aaac06e98..99337672c34c924e3720920dd0397704da791de5 100644
--- a/src/p_user.c
+++ b/src/p_user.c
@@ -1457,7 +1457,7 @@ mobj_t *P_SpawnGhostMobj(mobj_t *mobj)
 //
 // Spawns the appropriate thok object on the player
 //
-static void P_SpawnThokMobj(player_t *player)
+void P_SpawnThokMobj(player_t *player)
 {
 	mobj_t *mobj;
 	mobjtype_t type = player->thokitem;