--- a/gui.h	Wed Jan 12 00:50:08 2005 +0000
+++ b/gui.h	Wed Jan 12 11:21:28 2005 +0000
@@ -6,7 +6,6 @@
 /* main_gui.c */
 void SetupColorsAndInitialWindow();
 void CcPlaySound10(bool success, uint tile, uint32 p1, uint32 p2);
-void PlaceProc_Sign(uint tile);
 
 /* settings_gui.c */
 void ShowGameOptions();