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