fixing leak

[oweals/gnunet.git] / src / monkey / gdbmi_get_free_pty.c

diff --git a/src/monkey/gdbmi_get_free_pty.c b/src/monkey/gdbmi_get_free_pty.c
index 47ddbd6285cef9c61ba9bba5fb7e7bbe83d8587a..4274c78261be348db83ffb87c92357c60d5c137e 100644 (file)
--- a/src/monkey/gdbmi_get_free_pty.c
+++ b/src/monkey/gdbmi_get_free_pty.c
@@ -34,7 +34,7 @@
 
   Description:
   Look for a free and usable pseudo terminal. Low level, use
-@x{gmi_look_for_free_pty}.
+  gmi_look_for_free_pty().
   
   Return: A file descriptor connected to the master pty and the name of the slave device, or <0 on error.