Clean up a compiler warning.

diff --git a/src/GUI/gui_funcs.cxx b/src/GUI/gui_funcs.cxx
index 6f64d99d619842b7dfaefab54621d1658ee2e9c9..0e54ff1cbf12aa57b76c95c462eccecf64a1cc51 100644 (file)
--- a/src/GUI/gui_funcs.cxx
+++ b/src/GUI/gui_funcs.cxx
@@ -580,7 +580,6 @@ void fgHiResDump()
     FILE *f;
     string message;
     bool show_pu_cursor = false;
-    bool show_menu = false;
     char *filename = new char [24];
     static int count = 1;