Index: src/handles.h |
=================================================================== |
--- src/handles.h (revision 2114) |
+++ src/handles.h (working copy) |
@@ -119,15 +119,15 @@ |
static int NumberOfHandles(); |
// Creates a new handle with the given value. |
- static inline void** CreateHandle(void* value) { |
+ static inline Object** CreateHandle(Object* value) { |
void** result = current_.next; |
if (result == current_.limit) result = Extend(); |
// Update the current next field, set the value in the created |
// handle, and return the result. |
ASSERT(result < current_.limit); |
current_.next = result + 1; |
- *result = value; |
- return result; |
+ *reinterpret_cast<Object**>(result) = value; |
+ return reinterpret_cast<Object**>(result); |
} |
private: |