fixed #841 (#845)

* Update workspace_pool.cc * Update workspace_pool.cc

fixed #841 (#845)
* Update workspace_pool.cc * Update workspace_pool.cc
aedfaaec · ZhiWei Zhang · Tianqi Chen · 9206ee9c · aedfaaec
Commit aedfaaec authored Jan 30, 2018 by ZhiWei Zhang Committed by Tianqi Chen Jan 29, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletions

src/runtime/workspace_pool.cc
+4 -1

No files found.
--- a/src/runtime/workspace_pool.cc
+++ b/src/runtime/workspace_pool.cc
@@ -28,7 +28,10 @@ class WorkspacePool::Pool {
    nbytes = (nbytes + (kWorkspacePageSize - 1)) / kWorkspacePageSize * kWorkspacePageSize;
    if (nbytes == 0) nbytes = kWorkspacePageSize;
    Entry e;
-    TVMType type = {.code = kDLUInt, .bits = 8, .lanes = 1};
+    TVMType type;
+    type.code = kDLUInt;
+    type.bits = 8;
+    type.lanes = 1;
    if (free_list_.size() == 2) {
      e = free_list_.back();
      free_list_.pop_back();