Reset: sound manager can be shutdown cleanly

[flightgear.git] / src / Sound / fg_fx.hxx

diff --git a/src/Sound/fg_fx.hxx b/src/Sound/fg_fx.hxx
index 7d5132dd9e2a9c85a80fc4ba97f423b03ddab104..1f5336e359b1ecc67e8f51fc64a29d9eec9d9d1f 100644 (file)
--- a/src/Sound/fg_fx.hxx
+++ b/src/Sound/fg_fx.hxx
@@ -55,6 +55,7 @@ public:
     virtual void init ();
     virtual void reinit ();
     virtual void update (double dt);
+            void unbind();
 
 private: