From 28e114538b84940d1fd6b4a117ae728a265685f1 Mon Sep 17 00:00:00 2001
From: David Gauchard <gauchard@laas.fr>
Date: Wed, 7 Aug 2019 09:59:02 +0200
Subject: [PATCH] ensure consistency for gdb hooks signatures

---
 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 2a6560a5b6..fe5981e5bf 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