From aedfaaec714c38239ca5d81e429f7ae88aae2bdb Mon Sep 17 00:00:00 2001
From: ZhiWei Zhang <971749411@qq.com>
Date: Tue, 30 Jan 2018 12:49:28 +0800
Subject: [PATCH] fixed #841 (#845)
* Update workspace_pool.cc
* Update workspace_pool.cc
---
src/runtime/workspace_pool.cc | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/runtime/workspace_pool.cc b/src/runtime/workspace_pool.cc
index 24035faed..c903a8621 100644
--- 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();
--
GitLab