diff --git a/include/tvm/runtime/memory.h b/include/tvm/runtime/memory.h
index 18a87e922bf77..09374cdbe0ddd 100644
--- a/include/tvm/runtime/memory.h
+++ b/include/tvm/runtime/memory.h
@@ -114,7 +114,7 @@ class SimpleObjAllocator :
       // because objptr and tptr may not be the same
       // depending on how sub-class allocates the space.
       T* tptr = static_cast<T*>(objptr);
-      tptr->~T();
+      tptr->T::~T();
       delete reinterpret_cast<StorageType*>(tptr);
     }
   };