Improve timing statistics

[flightgear.git] / src / Main / fg_os.hxx

diff --git a/src/Main/fg_os.hxx b/src/Main/fg_os.hxx
index ebeb0701b4ed0f686ab274d76a4fb2b0086f6e42..74d2e468bc28b09d99d6b235c1018ed890736648 100644 (file)
--- a/src/Main/fg_os.hxx
+++ b/src/Main/fg_os.hxx
@@ -69,8 +69,6 @@ void fgWarpMouse(int x, int y);
 
 int  fgGetKeyModifiers();
 
-void fgRequestRedraw();
-
 //
 // Callbacks and registration API
 //