summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBardur Arantsson <bardur@scientician.net>2015-12-11 08:09:30 +0100
committerBardur Arantsson <bardur@scientician.net>2015-12-11 08:09:30 +0100
commit839db5c5b54f8885fa6e675060f987c3c6e1e2d6 (patch)
tree6dd4e7aaaf299095feada04a144fc5654444ec4f
parent64a3de23d42f50764e13b1b40a95c65badce8bc1 (diff)
Remove dead code
-rw-r--r--src/files.cc16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/files.cc b/src/files.cc
index 30b3e5d..85a813b 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;