Use new SGBucket API in tile-manager

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

diff --git a/src/Input/FGButton.hxx b/src/Input/FGButton.hxx
index 20cac858c26bac0b69c10809af8fadbbec9b2ebf..80c9eed6d2b7ae5faed45b881ac32a0d8ea5968d 100644 (file)
--- a/src/Input/FGButton.hxx
+++ b/src/Input/FGButton.hxx
@@ -26,7 +26,7 @@
 #define FGBUTTON_H
 
 #include "FGCommonInput.hxx"
-#include <Main/fg_os.hxx>
+#include <Main/fg_os.hxx> // for KEYMOD_MAX
 
 class FGButton : public FGCommonInput {
 public: