diff -r 550db5cefcc2 -r 8a2d1c2ceb88 src/functions.h
--- a/src/functions.h	Wed Jun 27 01:01:16 2007 +0000
+++ b/src/functions.h	Sat Jul 07 09:20:52 2007 +0000
@@ -98,9 +98,6 @@
 void DeleteName(StringID id);
 char *GetName(char *buff, StringID id, const char* last);
 
-/* AllocateNameUnique also tests if the name used is not used anywere else
- * and if it is used, it returns an error. */
-#define AllocateNameUnique(name, skip) RealAllocateName(name, skip, true)
 #define AllocateName(name, skip) RealAllocateName(name, skip, false)
 StringID RealAllocateName(const char *name, byte skip, bool check_double);
 void ConvertNameArray();