| 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
|
|
|