[COMMITTED] poke: fix styling in pk_exception_handler

[Jose E. Marchesi]

2023-11-03  Jose E. Marchesi  <jemarch@gnu.org>

        * poke/poke.pk (pk_exception_handler): Fix styling.
---
 ChangeLog    | 4 ++++
 poke/poke.pk | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 53acdd75..3ba578df 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-11-03  Jose E. Marchesi  <jemarch@gnu.org>
+
+       * poke/poke.pk (pk_exception_handler): Fix styling.
+
 2023-11-02  Jose E. Marchesi  <jemarch@gnu.org>
 
        * poke/pk-cmd-ios.c (ios_cmd): The option to .ios is optional.
diff --git a/poke/poke.pk b/poke/poke.pk
index 9ab0b5a8..236310f7 100644
--- a/poke/poke.pk
+++ b/poke/poke.pk
@@ -56,7 +56,7 @@ fun pk_exception_handler = (Exception exception) void:
   {
    if (exception.code != EC_exit && exception.code != EC_signal)
      {
-       printf ("unhandled %<warning:%s exception%>\n",
+       printf ("unhandled %<warning:%s%> exception\n",
                exception.name == "" ? "unknown" : exception.name);
 
        if (exception.location != "" || exception.msg != "")
-- 
2.30.2