Index: src/feedback-vector.h |
diff --git a/src/feedback-vector.h b/src/feedback-vector.h |
index 813a3beb374c97c6383210f1235e6136a74f6901..076533a569d20dfac4d48f84c50271e90f739539 100644 |
--- a/src/feedback-vector.h |
+++ b/src/feedback-vector.h |
@@ -765,7 +765,7 @@ class CollectTypeProfileNexus : public FeedbackNexus { |
} |
// Add a type to the list of types. |
- void Collect(Handle<Name> type); |
+ void Collect(Handle<Name> type, int position); |
// Dump the types to stdout. |
// TODO(franzih): pass this information to the debugger protocol instead of |