Fix typo in docs for request_keys()

1 files changed, 4 insertions, 4 deletions

diff --git a/devel.but b/devel.but
index 8dbc462..7521596 100644
--- a/devel.but
+++ b/devel.but
@@ -1631,10 +1631,10 @@ to the midend when the frontend deems appropriate.
 The backend should set \cw{*nkeys} to the number of elements in the
 returned array.
 
-The field for this function point in the \cw{game} structure might be
-set to \cw{NULL} (and indeed it is for the majority of the games) to
-indicate that no additional buttons (apart from the cursor keys) are
-required to play the game.
+The field for this function pointer in the \cw{game} structure might
+be set to \cw{NULL} (and indeed it is for the majority of the games)
+to indicate that no additional buttons (apart from the cursor keys)
+are required to play the game.
 
 This function should not be called directly by frontends. Instead,
 frontends should use \cw{midend_request_keys()}