Missing save of original platform id

This commit is contained in:
Jens Steube
2016-07-08 14:46:44 +02:00
parent d77c63a12c
commit baea682491
+2
View File
@@ -13917,6 +13917,8 @@ int main (int argc, char **argv)
device_param->platform_devices_id = platform_devices_id;
device_param->platform = platform;
// device_type
cl_device_type device_type;