Index: src/debug.h |
diff --git a/src/debug.h b/src/debug.h |
index caccede58dcd25619027b88d2fa66efc085bf871..f01ef393f84e4bb13165390315fbce60e1be3f4d 100644 |
--- a/src/debug.h |
+++ b/src/debug.h |
@@ -705,7 +705,8 @@ class Debugger { |
void DebugRequest(const uint16_t* json_request, int length); |
Handle<Object> MakeJSObject(Vector<const char> constructor_name, |
- int argc, Object*** argv, |
+ int argc, |
+ Handle<Object> argv[], |
bool* caught_exception); |
Handle<Object> MakeExecutionState(bool* caught_exception); |
Handle<Object> MakeBreakEvent(Handle<Object> exec_state, |