Patch from Julian Foad:

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

diff --git a/src/Sound/soundmgr.hxx b/src/Sound/soundmgr.hxx
index a46f31f533fdcd613ddef8a2fa72f2882b5b31a0..d9e9dd8fb6d4eb5eb3cc90ce7bb0bfb9c9a2b089 100644 (file)
--- a/src/Sound/soundmgr.hxx
+++ b/src/Sound/soundmgr.hxx
@@ -144,7 +144,7 @@ public:
     /**
      * Run the audio scheduler.
      */
-    void update(int dt);
+    void update(double dt);
 
 
     /**