OSDN Git Service

* ada-lang.c (print_recreate_exception)
authorpalves <palves>
Mon, 19 Apr 2010 17:06:08 +0000 (17:06 +0000)
committerpalves <palves>
Mon, 19 Apr 2010 17:06:08 +0000 (17:06 +0000)
<ex_catch_exception_unhandled>: It's "catch exception unhandled",
not "catch unhandled".

gdb/ChangeLog
gdb/ada-lang.c

index bb19764..39f0fbf 100644 (file)
@@ -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'.
index bc9ca69..121a3d3 100644 (file)
@@ -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: