From de31fd48065ad86730ae5714ae9f023a85d2701e Mon Sep 17 00:00:00 2001
From: PatR <rankin@nethack.org>
Date: Thu, 22 Sep 2022 16:09:22 -0700
Subject: [PATCH] 'fix' #K3716 - engraving with Fire Brand

Add a comment to the effect that engraving with Fire Brand doesn't
cause it to become dull.

[I'm not sure that is the behavior we really want.  It seems like an
unintended side-effect of changing Fire Brand's engrave type to BURN.]
---
 src/engrave.c | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/src/engrave.c b/src/engrave.c
index b76ed91b8..9232050c5 100644
--- a/src/engrave.c
+++ b/src/engrave.c
@@ -842,9 +842,9 @@ doengrave(void)
         break;
 
     case WEAPON_CLASS:
-        if (is_art(otmp, ART_FIRE_BRAND))
-            type = BURN;
-        else if (is_blade(otmp)) {
+        if (is_art(otmp, ART_FIRE_BRAND)) {
+            type = BURN; /* doesn't dull weapon */
+        } else if (is_blade(otmp)) {
             if ((int) otmp->spe > -3)
                 type = ENGRAVE;
             else
@@ -1140,7 +1140,7 @@ engrave(void)
                        || g.context.engraving.type == HEADSTONE);
     boolean dulling_wep, marker;
     char *endc; /* points at character 1 beyond the last character to engrave
-                   this action */
+                 * this action */
     int i, space_left;
 
     if (g.context.engraving.pos.x != u.ux
@@ -1387,7 +1387,11 @@ DISABLE_WARNING_FORMAT_NONLITERAL
 
 /* to support '#stats' wizard-mode command */
 void
-engr_stats(const char *hdrfmt, char *hdrbuf, long *count, long *size)
+engr_stats(
+    const char *hdrfmt,
+    char *hdrbuf,
+    long *count,
+    long *size)
 {
     struct engr *ep;