From ad41cb38bde4b7eb96d714abf542234f49d3f9ab Mon Sep 17 00:00:00 2001 From: dragonmacher <48328597+dragonmacher@users.noreply.github.com> Date: Thu, 8 Aug 2024 12:53:21 -0400 Subject: [PATCH] test fixes --- .../ghidra/app/plugin/core/analysis/GnuDemanglerAnalyzer.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Ghidra/Features/GnuDemangler/src/main/java/ghidra/app/plugin/core/analysis/GnuDemanglerAnalyzer.java b/Ghidra/Features/GnuDemangler/src/main/java/ghidra/app/plugin/core/analysis/GnuDemanglerAnalyzer.java index 2944c049960..8cd55ecd919 100644 --- a/Ghidra/Features/GnuDemangler/src/main/java/ghidra/app/plugin/core/analysis/GnuDemanglerAnalyzer.java +++ b/Ghidra/Features/GnuDemangler/src/main/java/ghidra/app/plugin/core/analysis/GnuDemanglerAnalyzer.java @@ -122,7 +122,8 @@ public void optionsChanged(Options options, Program program) { demangleOnlyKnownPatterns = options.getBoolean(OPTION_NAME_DEMANGLE_USE_KNOWN_PATTERNS, demangleOnlyKnownPatterns); useStandardReplacements = - options.getBoolean(OPTION_NAME_USE_DEPRECATED_DEMANGLER, useStandardReplacements); + options.getBoolean(OPTION_NAME_DEMANGLE_USE_STANDARD_REPLACEMENTS, + useStandardReplacements); demanglerFormat = options.getEnum(OPTION_NAME_DEMANGLER_FORMAT, GnuDemanglerFormat.AUTO); useDeprecatedDemangler = options.getBoolean(OPTION_NAME_USE_DEPRECATED_DEMANGLER, useDeprecatedDemangler);