nocpp

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

diff --git a/src/monkey/gdbmi_data_man.c b/src/monkey/gdbmi_data_man.c
index a7e9f11bf97b00b8dbfe28c3e3cdbdd159254b99..a5e54a9585b609a8c14925ddb7c7b521e1946c6c 100644 (file)
--- a/src/monkey/gdbmi_data_man.c
+++ b/src/monkey/gdbmi_data_man.c
@@ -72,7 +72,7 @@ Fixed by Changelog entry:
 
 ***************************************************************************/
 
-#include "mi_gdb.h"
+#include "gdbmi.h"
 
 /* Low level versions. */