diff options
Diffstat (limited to 'gdb/remote-nindy.c')
| -rw-r--r-- | gdb/remote-nindy.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/remote-nindy.c b/gdb/remote-nindy.c index 91b98ad..1dda7af 100644 --- a/gdb/remote-nindy.c +++ b/gdb/remote-nindy.c @@ -885,6 +885,7 @@ void nindy_mourn_inferior () { remove_breakpoints (); + unpush_target (&nindy_ops); generic_mourn_inferior (); /* Do all the proper things now */ } |