Fix typo in developer docs for request_keys().

"point"->"pointer".

1 files changed, 4 insertions, 4 deletions

diff --git a/devel.but b/devel.but
index 209c501..c201a3e 100644
--- a/devel.but
+++ b/devel.but
@@ -1797,10 +1797,10 @@ structures conveniently.
 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()}