From e09ea2243f47af0b7ea4d48247627737afe36e2f Mon Sep 17 00:00:00 2001
From: david <david>
Date: Fri, 4 Jan 2002 20:55:36 +0000
Subject: [PATCH] Removed stale include of options.hxx.

---
 src/GUI/gui.cxx     | 1 -
 src/Input/input.cxx | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx
index 7440c732f..e9a87182e 100644
--- a/src/GUI/gui.cxx
+++ b/src/GUI/gui.cxx
@@ -68,7 +68,6 @@
 #include <Main/fg_io.hxx>
 #include <Main/globals.hxx>
 #include <Main/fg_props.hxx>
-#include <Main/options.hxx>
 #include <Main/viewmgr.hxx>
 
 #ifdef FG_NETWORK_OLK
diff --git a/src/Input/input.cxx b/src/Input/input.cxx
index 64d95d5aa..637ed9aa1 100644
--- a/src/Input/input.cxx
+++ b/src/Input/input.cxx
@@ -63,7 +63,6 @@
 
 #include <Main/globals.hxx>
 #include <Main/fg_props.hxx>
-#include <Main/options.hxx>
 
 #include "input.hxx"
 
-- 
2.39.5