diff options
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 7d1d273cb..f314f546a 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -231,7 +231,7 @@ std::string make_temp_file(std::string template_str) while (1) { for (int i = 0; i < 6; i++) { static std::string y = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"; - static uint32_t x = 314159265 ^ time(NULL); + static uint32_t x = 314159265 ^ uint32_t(time(NULL)); x ^= x << 13, x ^= x >> 17, x ^= x << 5; template_str[pos+i] = y[x % y.size()]; } |