gator: Merge gator version 5.23.1

[profile/mobile/platform/kernel/linux-3.10-sc7730.git] / tools / gator / daemon / Driver.h

diff --git a/tools/gator/daemon/Driver.h b/tools/gator/daemon/Driver.h
index 72870e3..fe20471 100644 (file)
--- a/tools/gator/daemon/Driver.h
+++ b/tools/gator/daemon/Driver.h
@@ -1,5 +1,5 @@
 /**
- * Copyright (C) ARM Limited 2013-2014. All rights reserved.
+ * Copyright (C) ARM Limited 2013-2015. All rights reserved.
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 2 as
@@ -43,7 +43,7 @@ class Driver {
 public:
        static Driver *getHead() { return head; }
 
-       virtual ~Driver() {}
+       virtual ~Driver();
 
        // Returns true if this driver can manage the counter
        virtual bool claimCounter(const Counter &counter) const = 0;