diff --git a/src/core_read.cpp b/src/core_read.cpp --- a/src/core_read.cpp +++ b/src/core_read.cpp @@ -18,6 +18,7 @@ #include #include +#include #include #include @@ -41,9 +42,8 @@ mapOpNames[strName] = static_cast(op); // Convenience: OP_ADD and just ADD are both recognized: - if (strName.compare(0, 3, "OP_") == 0) { - mapOpNames[strName.substr(3)] = static_cast(op); - } + boost::algorithm::replace_first(strName, "OP_", ""); + mapOpNames[strName] = static_cast(op); } }