[COMMITTED] texi: Fix typo in E_no_return description

[Arsen Arsenović]

2023-01-23  Arsen Arsenović  <arsen@aarsen.me>

        * doc/poke.texi (Exceptions): Fix typo in the E_no_return
        description (end of a void function -> end of a non-void
        function).
---
 ChangeLog     | 6 ++++++
 doc/poke.texi | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 254b937a..51739797 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2023-01-23  Arsen Arsenović  <arsen@aarsen.me>
+
+       * doc/poke.texi (Exceptions): Fix typo in the E_no_return
+       description (end of a void function -> end of a non-void
+       function).
+
 2023-01-23  Jose E. Marchesi  <jemarch@gnu.org>
 
        * libpoke/pkl-rt.pk (iolist): Use array indexing instead of
diff --git a/doc/poke.texi b/doc/poke.texi
index 7f495fc6..437eef5d 100644
--- a/doc/poke.texi
+++ b/doc/poke.texi
@@ -14410,8 +14410,8 @@ Division by zero exception.
 No IOS exception.  This is raised when the IO space is accessed but
 there is no IO space.
 @item E_no_return
-No return exception.  This is raised when the end of a void function
-is reached.
+No return exception.  This is raised when the end of a non-void
+function is reached.
 @item E_io
 Generic IO exception.
 @item E_io_flags
-- 
2.39.1