diff --git a/src/library/vm/vm.h b/src/library/vm/vm.h
index 865568ddd9..abdefa6a08 100644
--- a/src/library/vm/vm.h
+++ b/src/library/vm/vm.h
@@ -74,7 +74,6 @@ public:
     }
 
     vm_obj_cell * raw() const {
-        lean_assert(LEAN_VM_IS_PTR(m_data));
         return m_data;
     }
 };