From 7f019d8115fe55d81a4ab16e05562127729a144d Mon Sep 17 00:00:00 2001
From: PatR <rankin@nethack.org>
Date: Fri, 13 Oct 2017 16:35:39 -0700
Subject: [PATCH] suppress 'unused arg' warning for !DUMPLOG

---
 src/end.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/end.c b/src/end.c
index 31914dbb5..d0fb09bc5 100644
--- a/src/end.c
+++ b/src/end.c
@@ -763,6 +763,7 @@ time_t when; /* date+time at end of game */
     dump_redirect(FALSE);
 #else
     nhUse(how);
+    nhUse(when);
 #endif
 }