Add a missing header in cuda_device_api.cc (#3621)
authorPhilip Hyunsu Cho <chohyu01@cs.washington.edu>
Thu, 25 Jul 2019 06:12:44 +0000 (23:12 -0700)
committerYao Wang <kevinthesunwy@gmail.com>
Thu, 25 Jul 2019 06:12:44 +0000 (23:12 -0700)
commit443d023b2bd9ba368996e87d06f62c0cdb226ff2
treefc01b494b9ae07c56e2b2e4c7d4f621de1af7bcb
parentdedcf82fa71e08f4c5b7c995ecc8dc52469c31cf
Add a missing header in cuda_device_api.cc (#3621)
src/runtime/cuda/cuda_device_api.cc