|
--- a/src/Util.h
|
|
+++ b/src/Util.h
|
|
@@ -16,7 +16,7 @@
|
|
|
|
// Convert int to string
|
|
inline std::string as_string(int i) {
|
|
- return dynamic_cast<std::ostringstream &>((std::ostringstream() << i )).str();
|
|
+ return std::to_string(i);
|
|
}
|
|
|
|
inline std::string as_string(const std::string &s) {
|