| Index: Source/core/timing/PerformanceNavigation.h
|
| diff --git a/Source/core/timing/PerformanceNavigation.h b/Source/core/timing/PerformanceNavigation.h
|
| index 819404398b52751a898af1e2caf664e4eba4dc3a..a6dde6e19bb86671969fac448934ce56cf6a5498 100644
|
| --- a/Source/core/timing/PerformanceNavigation.h
|
| +++ b/Source/core/timing/PerformanceNavigation.h
|
| @@ -58,7 +58,7 @@ public:
|
| unsigned short type() const;
|
| unsigned short redirectCount() const;
|
|
|
| - void trace(Visitor*) { }
|
| + virtual void trace(Visitor*) { }
|
|
|
| private:
|
| explicit PerformanceNavigation(LocalFrame*);
|
|
|