Update to Inform v6.41

[inform.git] / src / memory.c

diff --git a/src/memory.c b/src/memory.c
index bf2eec057c8caa16901d6ff45ab248ff82149eb7..78d06efe1fe9d2cf9fcaa152d5a407cb3fc478f0 100644 (file)
--- a/src/memory.c
+++ b/src/memory.c
@@ -1,7 +1,7 @@
 /* ------------------------------------------------------------------------- */
 /*   "memory" : Memory management and ICL memory setting commands            */
 /*                                                                           */
-/*   Part of Inform 6.40                                                     */
+/*   Part of Inform 6.41                                                     */
 /*   copyright (c) Graham Nelson 1993 - 2022                                 */
 /*                                                                           */
 /* Inform is free software: you can redistribute it and/or modify            */
@@ -627,8 +627,6 @@ static void set_trace_option(char *command)
         printf("  FINDABBREVS: show selection decisions during abbreviation optimization\n    (only meaningful with -u)\n");
         printf("    FINDABBREVS=2: also show three-letter-block decisions\n");
         printf("  FREQ: show how efficient abbreviations were (same as -f)\n    (only meaningful with -e)\n");
-        printf("  LINKER: show module linking info\n");
-        printf("    LINKER=2: more verbose (or 3, 4 for even more)\n");
         printf("  MAP: print memory map of the virtual machine (same as -z)\n");
         printf("    MAP=2: also show percentage of VM that each segment occupies\n");
         printf("  MEM: show internal memory allocations\n");
@@ -694,9 +692,6 @@ static void set_trace_option(char *command)
     else if (strcmp(command, "FREQUENCY")==0 || strcmp(command, "FREQUENCIES")==0 || strcmp(command, "FREQ")==0) {
         frequencies_setting = value;
     }
-    else if (strcmp(command, "LINK")==0 || strcmp(command, "LINKER")==0) {
-        linker_trace_setting = value;
-    }
     else if (strcmp(command, "MAP")==0) {
         memory_map_setting = value;
     }