gcontini
2020-03-14 79b1b57045e86d9845e352c3f2aa0efbab6111a9
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);
   }
}