From c3f2218681c833ab509edd02390f6564f71340b4 Mon Sep 17 00:00:00 2001 From: crc <> Date: Wed, 30 Oct 2024 13:32:02 +0000 Subject: [PATCH] retro-extend.py: fix dictionary lookups FossilOrigin-Name: a58bc1a4860fcf38c1931dbe3614ee9a88441279906d400d9c795c8093f8fbbb --- RELEASE-NOTES | 1 + tools/retro-extend.py | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 6282f83..adf0014 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -16,6 +16,7 @@ - retro-describe(1) now uses embedded glossary data - retro-muri.py: increase memory size for initial image + - retro-extend.py: fix dictionary lookups - documentation diff --git a/tools/retro-extend.py b/tools/retro-extend.py index 1de8362..e0fce45 100755 --- a/tools/retro-extend.py +++ b/tools/retro-extend.py @@ -353,7 +353,7 @@ class Retro: Dictionary = dict() header = self.memory[2] while header != 0: - named = self.extract_string(header + 4) + named = self.extract_string(header + 9) if not named in Dictionary: Dictionary[named] = header header = self.memory[header] @@ -366,7 +366,7 @@ class Retro: header = self.memory[2] Done = False while header != 0 and not Done: - if named == self.extract_string(header + 4): + if named == self.extract_string(header + 9): self.Dictionary[named] = header Done = True else: