diff options
Diffstat (limited to 'gdb/tui/tui-interp.c')
| -rw-r--r-- | gdb/tui/tui-interp.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gdb/tui/tui-interp.c b/gdb/tui/tui-interp.c index cf32c90..aa5e328 100644 --- a/gdb/tui/tui-interp.c +++ b/gdb/tui/tui-interp.c @@ -58,9 +58,7 @@ public: static tui_interp * as_tui_interp (struct interp *interp) { - if (strcmp (interp_name (interp), INTERP_TUI) == 0) - return (tui_interp *) interp; - return NULL; + return dynamic_cast<tui_interp *> (interp); } /* Cleanup the tui before exiting. */ |