From 83b838f7832915339671d37391c1f69f20e7e771 Mon Sep 17 00:00:00 2001 From: Bartosz Taudul Date: Sun, 2 Jun 2019 19:39:07 +0200 Subject: [PATCH] Use C locale for decimal point character. --- profiler/src/main.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/profiler/src/main.cpp b/profiler/src/main.cpp index 369e2493..ee48f356 100644 --- a/profiler/src/main.cpp +++ b/profiler/src/main.cpp @@ -14,6 +14,7 @@ #include #include "../nfd/nfd.h" #include +#include #ifdef _WIN32 # include @@ -83,6 +84,8 @@ std::vector::const_iterator> RebuildCo int main( int argc, char** argv ) { + setlocale( LC_NUMERIC, "C" ); + std::unique_ptr view; int badVer = 0;