From 682407b54dfb5c95af7655e00cb04a88bcfe7679 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 12 May 2016 18:59:18 -0700
Subject: [PATCH] fix(library/vm/vm): incorrect assertion

---
 src/library/vm/vm.h | 1 -
 1 file changed, 1 deletion(-)

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;
     }
 };