1 files changed, 1 insertions, 3 deletions
diff --git a/crawl-ref/source/util/art-data.pl b/crawl-ref/source/util/art-data.pl
index 05f6dcdf9b..67a4dfe476 100755
--- a/crawl-ref/source/util/art-data.pl
+++ b/crawl-ref/source/util/art-data.pl
@@ -589,12 +589,10 @@ sub write_data
 ENDofTEXT
 
     my $artefact;
-    my $art_num = 1;
     foreach $artefact (@all_artefacts)
     {
-        print HEADER "/* $art_num: UNRAND_$artefact->{_ENUM} */\n";
+        print HEADER "/* UNRAND_$artefact->{_ENUM} */\n";
         print HEADER art_to_str($artefact);
-        $art_num++;
     }
 
     close(HEADER);