Index: src/feedback-vector.h |
diff --git a/src/feedback-vector.h b/src/feedback-vector.h |
index a3cdace37538e1b29c77a9889d2e156eb51487e1..fb2ce76c016805bb946cfe255ddd1c9120f5624e 100644 |
--- a/src/feedback-vector.h |
+++ b/src/feedback-vector.h |
@@ -764,7 +764,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 |