WiP

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

diff --git a/src/monkey/gdbmi_misc.c b/src/monkey/gdbmi_misc.c
index 5440ab0f02e4efe1a101ed35445a206177a1233a..51088a757b4048340ff9d7b2e7e63aba955bf6e9 100644 (file)
--- a/src/monkey/gdbmi_misc.c
+++ b/src/monkey/gdbmi_misc.c
@@ -5,7 +5,7 @@
 
   Module: Miscellaneous commands.
   Comments:
-  GDB/MI commands for the "Miscellaneous Commands" section.@p
+  GDB/MI commands for the "Miscellaneous Commands" section.  @<p>
 
 @<pre>
 gdb command:       Implemented?
@@ -24,7 +24,7 @@ report it in "value", but they give the output of "show architecture". In
 ***************************************************************************/
 
 #include <string.h>
-#include "mi_gdb.h"
+#include "gdbmi.h"
 
 /* Low level versions. */