| Index: chrome/browser/instant/instant_controller.h
|
| diff --git a/chrome/browser/instant/instant_controller.h b/chrome/browser/instant/instant_controller.h
|
| index 0352dfe4045cf41103c6d5d6d9f1f669ae84c0e9..3fdc14a7ed9a0e140bc5b33fd353db599048768a 100644
|
| --- a/chrome/browser/instant/instant_controller.h
|
| +++ b/chrome/browser/instant/instant_controller.h
|
| @@ -51,7 +51,7 @@ class InstantController : public InstantLoaderDelegate {
|
| static const int kAutoCommitFadeInTimeMS = 300;
|
|
|
| InstantController(Profile* profile, InstantDelegate* delegate);
|
| - ~InstantController();
|
| + virtual ~InstantController();
|
|
|
| // Registers instant related preferences.
|
| static void RegisterUserPrefs(PrefService* prefs);
|
|
|