From 88f0410c4bff2f371148572f7498d12a05083db7 Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Wed, 7 Aug 2019 11:18:45 +0200
Subject: [PATCH] ensure consistency for gdb hooks signatures (#6391)

---
 libraries/GDBStub/src/GDBStub.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libraries/GDBStub/src/GDBStub.h b/libraries/GDBStub/src/GDBStub.h
index 2a6560a5b..fe5981e5b 100644
--- a/libraries/GDBStub/src/GDBStub.h
+++ b/libraries/GDBStub/src/GDBStub.h
@@ -5,6 +5,7 @@
 #include <stdint.h>
 #include <stddef.h>
 
+#include <gdb_hooks.h>
 #include "internal/gdbstub-cfg.h"
 
 #ifdef __cplusplus