allow to trigger widgets via accelerator key, which is defined via "keynum"

[flightgear.git] / src / Input / input.hxx

diff --git a/src/Input/input.hxx b/src/Input/input.hxx
index 5a41a57a490f9042be038f9335e21a68629bbe4c..72d0b0c978e11fd98af06b195364e64efc79218a 100644 (file)
--- a/src/Input/input.hxx
+++ b/src/Input/input.hxx
@@ -95,7 +95,7 @@ public:
   /**
    * Destructor.
    */
-  virtual ~FGBinding () {}
+  virtual ~FGBinding ();
 
 
   /**