@@ -541,7 +541,7 @@ pub mod events {
541 Stopped(Stopped),
541 Stopped(Stopped),
542 Continued(Continued),
542 Continued(Continued),
543 Exited(Exited),
543 Exited(Exited),
544− Terminated(Terminated),
544+ Terminated(Option<Terminated>),
545 Thread(Thread),
545 Thread(Thread),
546 Output(Output),
546 Output(Output),
547 Breakpoint(Breakpoint),
547 Breakpoint(Breakpoint),