diff options
Diffstat (limited to 'offload/src/OpenMP/API.cpp')
| -rw-r--r-- | offload/src/OpenMP/API.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/offload/src/OpenMP/API.cpp b/offload/src/OpenMP/API.cpp index c85f9868e37c..374c54163d6a 100644 --- a/offload/src/OpenMP/API.cpp +++ b/offload/src/OpenMP/API.cpp @@ -642,7 +642,7 @@ EXTERN void *omp_get_mapped_ptr(const void *Ptr, int DeviceNum) { return nullptr; } - size_t NumDevices = omp_get_initial_device(); + int NumDevices = omp_get_initial_device(); if (DeviceNum == NumDevices) { DP("Device %d is initial device, returning Ptr " DPxMOD ".\n", DeviceNum, DPxPTR(Ptr)); |