diff options
-rw-r--r-- | src/files.cc | 16 |
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; |