| Index: src/profile-generator.h
|
| diff --git a/src/profile-generator.h b/src/profile-generator.h
|
| index 4ddb75337e62435dd3b65a1e304b85af49b410b3..0ed5a0c15b7a0a48132c02475940506daf39798e 100644
|
| --- a/src/profile-generator.h
|
| +++ b/src/profile-generator.h
|
| @@ -107,7 +107,6 @@ class CodeEntry {
|
| INLINE(const char* name() const) { return name_; }
|
| INLINE(const char* resource_name() const) { return resource_name_; }
|
| INLINE(int line_number() const) { return line_number_; }
|
| - INLINE(int shared_id() const) { return shared_id_; }
|
| INLINE(void set_shared_id(int shared_id)) { shared_id_ = shared_id; }
|
| INLINE(int security_token_id() const) { return security_token_id_; }
|
|
|
|
|