Fix issue that would cause created identifiers to be all dashes

This commit is contained in:
Alexander Bock
2023-05-18 16:52:27 +02:00
parent 633aeb5fa4
commit 27960b96e4

View File

@@ -868,7 +868,7 @@ std::string makeIdentifier(std::string s) {
std::replace_if(
s.begin(),
s.end(),
[](char c) { return std::ispunct(c) == 0; },
[](char c) { return std::ispunct(c) != 0; },
'-'
);
std::replace(s.begin(), s.end(), ' ', '_');