Fix gpu devices. (#3693)

* Fix gpu_set normalized and unnormalized. * Fix DeviceSpan.
2018-09-19 17:39:42 +12:00
parent 0f99cdfe0e
commit 9119f9e369
13 changed files with 199 additions and 138 deletions
--- a/src/common/device_helpers.cuh
+++ b/src/common/device_helpers.cuh
@@ -9,7 +9,6 @@
 #include <xgboost/logging.h>

 #include "common.h"
-#include "gpu_set.h"

 #include <algorithm>
 #include <chrono>