nocpp

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

diff --git a/src/monkey/gdbmi_get_free_vt.c b/src/monkey/gdbmi_get_free_vt.c
index f5c980005bf93087e27b70af33ad06d8c31012a4..ac5c222f0ec6609b0ebaed06bd08228f59c8704a 100644 (file)
--- a/src/monkey/gdbmi_get_free_vt.c
+++ b/src/monkey/gdbmi_get_free_vt.c
@@ -22,7 +22,7 @@ to my needs and changed license from giftware to GPL.@p
 #include <util.h>
 #endif /* __APPLE__ */
 
-#include "mi_gdb.h"
+#include "gdbmi.h"
 
 #if !defined(__linux__)