1 files changed, 1 insertions, 1 deletions

diff --git a/src/monkey/gdbmi_get_free_pty.c b/src/monkey/gdbmi_get_free_pty.c
index 672145b78..47ddbd628 100644
--- a/src/monkey/gdbmi_get_free_pty.c
+++ b/src/monkey/gdbmi_get_free_pty.c
@@ -86,7 +86,7 @@ int mi_look_for_free_pty(int *master, char **slave)
   Description:
   Look for a free and usable pseudo terminal to be used by the child.
   
-  Return: A new mi_pty structure, you can use @x{gmi_end_pty} to
+  Return: A new mi_pty structure, you can use gmi_end_pty to
 release it.
   
 ***************************************************************************/