From c33c49295d6da0aeb5e1dfec027f8c7448c29323 Mon Sep 17 00:00:00 2001
From: nhmall <nhmall@nethack.org>
Date: Sun, 19 Nov 2023 10:10:27 -0500
Subject: [PATCH] remove pasted comment

---
 util/makedefs.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/util/makedefs.c b/util/makedefs.c
index 7c046491f..98a209c5c 100644
--- a/util/makedefs.c
+++ b/util/makedefs.c
@@ -363,7 +363,6 @@ do_makedefs(char *options)
                 " for '%c' (%s) support.\n",
                 *options, oldfunctionality(*options));
             (void) fflush(stderr);
-            /*NOTREACHED*/
             break;
 #endif /* OLD_MAKEDEFS_OPTIONS */
         default: