* ada-lang.c (print_recreate_exception)
authorPedro Alves <palves@redhat.com>
Mon, 19 Apr 2010 17:06:11 +0000 (17:06 +0000)
committerPedro Alves <palves@redhat.com>
Mon, 19 Apr 2010 17:06:11 +0000 (17:06 +0000)
<ex_catch_exception_unhandled>: It's "catch exception unhandled",
not "catch unhandled".

gdb/ChangeLog
gdb/ada-lang.c

index bb197648dd14760e767da76ba9561251e2a7ae08..39f0fbf74343b3eab263deb0cfbf8f75581b2814 100644 (file)
@@ -1,3 +1,9 @@
+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.
index bc9ca69e3234d90fbe15a176a22900d01b09abd8..121a3d3eda5f708b020abcecb72396377327af61 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: