diff options
| -rw-r--r-- | tools/driver/driver.cpp | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tools/driver/driver.cpp b/tools/driver/driver.cpp index 074cab9d0a..3c75bb0d18 100644 --- a/tools/driver/driver.cpp +++ b/tools/driver/driver.cpp @@ -97,11 +97,9 @@ int main(int argc, const char **argv) { const char *Next = strchr(Cur, ','); if (Next) { - if (Cur != Next) { - const char *P = - SavedStrings.insert(std::string(Cur, Next)).first->c_str(); - StringPointers.push_back(P); - } + const char *P = + SavedStrings.insert(std::string(Cur, Next)).first->c_str(); + StringPointers.push_back(P); Cur = Next + 1; } else { if (*Cur != '\0') { |