Remove dead code

1 files changed, 0 insertions, 16 deletions

diff --git a/src/files.cc b/src/files.cc
index 30b3e5d0..85a813b9 100644
--- a/src/files.cc
+++ b/src/files.cc
@@ -4451,27 +4451,11 @@ static void center_string(char *buf, cptr str)
 
 
 /*
- * Redefinable "print_tombstone" action
- */
-bool_ (*tombstone_aux)(void) = NULL;
-
-
-/*
  * Display a "tomb-stone"
  */
 static void print_tomb(void)
 {
-	bool_ done = FALSE;
-
-	/* Do we use a special tombstone ? */
-	if (tombstone_aux)
-	{
-		/* Use tombstone hook */
-		done = (*tombstone_aux)();
-	}
-
 	/* Print the text-tombstone */
-	if (!done)
 	{
 		cptr p;