Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 85901240f3d0740e86d1f6569710906e8754da1c..99deb1bef02394d97eaa2f687f10b16dbca8992b 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -351,12 +351,14 @@ class VirtualMemory { |
void Release() { |
ASSERT(IsReserved()); |
- // Notice: Order is somportant here. The VirtualMemory object might live |
+ // Notice: Order is important here. The VirtualMemory object might live |
// inside the allocated region. |
void* address = address_; |
size_t size = size_; |
Reset(); |
- ReleaseRegion(address, size); |
+ bool result = ReleaseRegion(address, size); |
+ USE(result); |
+ ASSERT(result); |
} |
// Assign control of the reserved region to a different VirtualMemory object. |