diff options
Diffstat (limited to 'libjulia/optimiser/NameDispenser.cpp')
| -rw-r--r-- | libjulia/optimiser/NameDispenser.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libjulia/optimiser/NameDispenser.cpp b/libjulia/optimiser/NameDispenser.cpp index e4f0e4f6..cae19381 100644 --- a/libjulia/optimiser/NameDispenser.cpp +++ b/libjulia/optimiser/NameDispenser.cpp @@ -31,7 +31,7 @@ string NameDispenser::newName(string const& _prefix) while (name.empty() || m_usedNames.count(name)) { suffix++; - name = _prefix + "_" + std::to_string(suffix); + name = _prefix + "_" + to_string(suffix); } m_usedNames.insert(name); return name; |