Added platform ID to the binary program cache to prevent issues with multi-platform systems

1 files changed, 3 insertions, 3 deletions

diff --git a/src/cache.hpp b/src/cache.hpp
index 1c8c9d4c..228fbccb 100644
--- a/src/cache.hpp
+++ b/src/cache.hpp
@@ -66,10 +66,10 @@ private:
 
 // =================================================================================================
 
-// The key struct for the cache of compiled OpenCL binaries
+// The key struct for the cache of compiled OpenCL binaries (device name and platform-dependent)
 // Order of fields: precision, routine_name, device_name (smaller fields first)
-typedef std::tuple<Precision, std::string, std::string> BinaryKey;
-typedef std::tuple<const Precision &, const std::string &, const std::string &> BinaryKeyRef;
+typedef std::tuple<RawPlatformID, Precision, std::string, std::string> BinaryKey;
+typedef std::tuple<const RawPlatformID &, const Precision &, const std::string &, const std::string &> BinaryKeyRef;
 
 typedef Cache<BinaryKey, std::string> BinaryCache;