diff --git a/src/system/kernel/vm/VMUserAddressSpace.cpp b/src/system/kernel/vm/VMUserAddressSpace.cpp
index 0f879343d6..b7ae58c70a 100644
--- a/src/system/kernel/vm/VMUserAddressSpace.cpp
+++ b/src/system/kernel/vm/VMUserAddressSpace.cpp
@@ -49,7 +49,6 @@ VMUserAddressSpace::VMUserAddressSpace(team_id id, addr_t base, size_t size)
 
 VMUserAddressSpace::~VMUserAddressSpace()
 {
-	panic("deleting the kernel aspace!\n");
 }