Merge 18d0cfb194 into merged_master (Bitcoin PR bitcoin/bitcoin#31306)

This commit is contained in:
ivanlele 2026-04-08 14:37:15 +00:00
commit 0672d18ad4
No known key found for this signature in database
6 changed files with 9 additions and 8 deletions

View file

@ -39,7 +39,7 @@ public:
}
mapOpNames[strName] = static_cast<opcodetype>(op);
// Convenience: OP_ADD and just ADD are both recognized:
if (strName.compare(0, 3, "OP_") == 0) { // strName starts with "OP_"
if (strName.starts_with("OP_")) {
mapOpNames[strName.substr(3)] = static_cast<opcodetype>(op);
}
}