fixing leak

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

diff --git a/src/monkey/gdbmi_prg_control.c b/src/monkey/gdbmi_prg_control.c
index 671725f94fc34dab3d575e4f1393368afa77d2b3..da37dac214a52b2592c8fc1a861cc3d038c7b072 100644 (file)
--- a/src/monkey/gdbmi_prg_control.c
+++ b/src/monkey/gdbmi_prg_control.c
@@ -5,7 +5,7 @@
 
   Module: Program control.
   Comments:
-  GDB/MI commands for the "Program Control" section.@p
+  GDB/MI commands for the "Program Control" section.  @<p>
 
 @<pre>
 gdb command:                   Implemented?
@@ -33,7 +33,7 @@ gdb command:                   Implemented?
 @</pre>
 
 (*)  gmi_exec_kill implements it, but you should ensure that
-gmi_gdb_set("confirm","off") was called.@p
+gmi_gdb_set("confirm","off") was called.  @<p>
 
 GDB Bug workaround for -file-exec-and-symbols and -file-symbol-file: This
 is complex, but a real bug. When you set a breakpoint you never know the
@@ -60,7 +60,7 @@ can say it won't change we must use the CLI command.
 ***************************************************************************/
 
 #include <signal.h>
-#include "mi_gdb.h"
+#include "gdbmi.h"
 
 /* Low level versions. */