diff options
| author | Pedro Alves <palves@redhat.com> | 2010-04-19 17:06:11 +0000 |
|---|---|---|
| committer | Pedro Alves <palves@redhat.com> | 2010-04-19 17:06:11 +0000 |
| commit | 78076abca50654310954a0f83c4d4c743740261b (patch) | |
| tree | b574523fe9f0aec30148ed74f8a301b6819380ea | |
| parent | c481e77ec5916c695312a9f8a246f62420faed23 (diff) | |
| download | gdb-78076abca50654310954a0f83c4d4c743740261b.zip gdb-78076abca50654310954a0f83c4d4c743740261b.tar.gz gdb-78076abca50654310954a0f83c4d4c743740261b.tar.bz2 | |
* ada-lang.c (print_recreate_exception)
<ex_catch_exception_unhandled>: It's "catch exception unhandled",
not "catch unhandled".
| -rw-r--r-- | gdb/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/ada-lang.c | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index bb19764..39f0fbf 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,11 @@ 2010-04-19 Pedro Alves <pedro@codesourcery.com> + * ada-lang.c (print_recreate_exception) + <ex_catch_exception_unhandled>: It's "catch exception unhandled", + not "catch unhandled". + +2010-04-19 Pedro Alves <pedro@codesourcery.com> + PR breakpoints/8554. Implement `save-breakpoints'. diff --git a/gdb/ada-lang.c b/gdb/ada-lang.c index bc9ca69..121a3d3 100644 --- a/gdb/ada-lang.c +++ b/gdb/ada-lang.c @@ -10364,7 +10364,7 @@ print_recreate_exception (enum exception_catchpoint_kind ex, break; case ex_catch_exception_unhandled: - fprintf_filtered (fp, "catch unhandled"); + fprintf_filtered (fp, "catch exception unhandled"); break; case ex_catch_assert: |