diff --git a/src/xml/xml_util.cc b/src/xml/xml_util.cc index 651e3586..eec0dd39 100644 --- a/src/xml/xml_util.cc +++ b/src/xml/xml_util.cc @@ -481,16 +481,6 @@ bool mjXUtil::ReadAttrValues(XMLElement* elem, const char* attr, // read numbers for (int i = 0; (max < 0 || i < max) && !strm.eof(); ++i) { strm >> token; - - // some C++ libraries do not allow .x instead of 0.x - if (!token.empty()) { - if (token[0] == std::string(".")[0]) { - token = "0" + token; - } else if (token[0] == std::string("-")[0] && token[1] == std::string(".")[0]) { - token.insert(1, "0"); - } - } - std::istringstream token_strm(token); token_strm >> item; if (token_strm.fail() || !token_strm.eof()) {