diff options
| author | Matías Aereal Aeón <aereal@gmail.com> | 2018-08-08 22:26:30 +0800 |
|---|---|---|
| committer | Matías Aereal Aeón <aereal@gmail.com> | 2018-08-08 22:26:30 +0800 |
| commit | e902ce1aa02dc5d19cc9dd231fa538646884826d (patch) | |
| tree | bdac717d124e725679929c722cfe2c752cc90dd9 /libjulia/optimiser | |
| parent | 7dae58cbcc3df64e6add31020a7f44de1b28b3de (diff) | |
| download | dexon-solidity-e902ce1aa02dc5d19cc9dd231fa538646884826d.tar.gz dexon-solidity-e902ce1aa02dc5d19cc9dd231fa538646884826d.tar.zst dexon-solidity-e902ce1aa02dc5d19cc9dd231fa538646884826d.zip | |
Removing std:: from std::to_string and include for boost/lexical_cast
Diffstat (limited to 'libjulia/optimiser')
| -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; |