diff --git a/src/parser/Parser.cpp b/src/parser/Parser.cpp index 38be7b237..d84ed6ab6 100644 --- a/src/parser/Parser.cpp +++ b/src/parser/Parser.cpp @@ -54,9 +54,6 @@ double storm::parser::Parser::checked_strtod(const char* str, char** end) { * @return pointer to first non-whitespace character */ char* storm::parser::Parser::trimWhitespaces(char* buf) { - /*TODO: Maybe use memcpy to copy all the stuff from the first non-whitespace char - * to the position of the buffer, so we don't have to keep track of 2 pointers. - */ while ((*buf == ' ') || (*buf == '\t') || (*buf == '\n') || (*buf == '\r')) buf++; return buf; }