diff --git a/src/shared/logger/Deserializer.h b/src/shared/logger/Deserializer.h index 189582f0a17fcd6731236ca004dd3909e9b1d362..ce3009c4f44e48fa3f158de4700d6e5752263fa1 100644 --- a/src/shared/logger/Deserializer.h +++ b/src/shared/logger/Deserializer.h @@ -155,6 +155,9 @@ void Deserializer::printType(T& t, std::string path, std::string prefix) // Print the header in the file *stream << T::header(); + // Set stream precision to maximum float precision + stream->precision(flt::max_digits10); + // Add the file to the vector such that it will be closed fileStreams.emplace(demangledTypeName, stream); }