don't define uint64_t ; #include <stdint.h> instead

tacle / tacle-bench

TACLe Benchmarks

41 stars 38 forks source link

don't define uint64_t ; #include <stdint.h> instead #38

Open monniaux opened 1 year ago

monniaux commented 1 year ago

bench/parallel/rosace/thread1/types.h defines uint64_t. Unfortunately, the definition it gives is incompatible, on certain platforms and compilers, with the one in stdint.h, which may have ended being included before.

Just use #include <stdint.h> instead.

schoeberl commented 1 year ago

Thanks for notification of this issue. Maybe you can fix it with a PR?