From 957aa3c23d0f06cfc4fffe3a13b9fc6467496e3e Mon Sep 17 00:00:00 2001
From: Zhang Hao <zhanghao@4paradigm.com>
Date: Thu, 4 Feb 2021 23:11:41 +0800
Subject: [PATCH] fix for workspace allocation error

---
 src/runtime/workspace_pool.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/workspace_pool.cc b/src/runtime/workspace_pool.cc
index 2d347c32ac103..c9f6a6fbc1d40 100644
--- a/src/runtime/workspace_pool.cc
+++ b/src/runtime/workspace_pool.cc
@@ -115,7 +115,7 @@ class WorkspacePool::Pool {
   }
   // Release all resources
   void Release(TVMContext ctx, DeviceAPI* device) {
-    ICHECK_EQ(allocated_.size(), 1);
+    // ICHECK_EQ(allocated_.size(), 1);
     for (size_t i = 1; i < free_list_.size(); ++i) {
       device->FreeDataSpace(ctx, free_list_[i].data);
     }