diff options
Diffstat (limited to 'gdb/tui/tui-file.h')
| -rw-r--r-- | gdb/tui/tui-file.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gdb/tui/tui-file.h b/gdb/tui/tui-file.h index d7d7333..44d66b5 100644 --- a/gdb/tui/tui-file.h +++ b/gdb/tui/tui-file.h @@ -16,8 +16,8 @@ You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ -#ifndef TUI_FILE_H -#define TUI_FILE_H +#ifndef TUI_TUI_FILE_H +#define TUI_TUI_FILE_H #include "ui-file.h" @@ -33,4 +33,4 @@ public: void flush () override; }; -#endif +#endif /* TUI_TUI_FILE_H */ |