missing
[oweals/gnunet.git] / src / monkey / gdbmi_stack_man.c
index 8e8ed06914256116f1c248839dc23140f36a2503..6d6ad08666e483353803066dd2ffe3f9895904a8 100644 (file)
@@ -20,7 +20,7 @@ gdb command:              Implemented?
 
 ***************************************************************************/
 
-#include "mi_gdb.h"
+#include "gdbmi.h"
 
 /* Low level versions. */