fix

[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..0c824b59c58c1633b8d0603da5a49dc511d481a9 100644 (file)
--- a/src/monkey/gdbmi_prg_control.c
+++ b/src/monkey/gdbmi_prg_control.c
@@ -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. */