Gabriele Contini
2020-03-14 6524462e924adf2ddd7e86da9df7fda878632bef
src/library/os/windows/execution_environment.cpp
@@ -25,9 +25,9 @@
   if (InitEntryPoints()) {
      BIOSReader reader;
      SystemInformation info = reader.readSystemInfo();
      sys_vendor = toupper_copy(info.Manufacturer);
      bios_vendor = toupper_copy(info.ProductName);
      bios_description = toupper_copy(info.SysVersion) + toupper_copy(info.family);
      m_sys_vendor = toupper_copy(info.Manufacturer);
      m_bios_vendor = toupper_copy(info.ProductName);
      m_bios_description = toupper_copy(info.SysVersion) + toupper_copy(info.family);
   }
}