diff --git a/src/Gui/InputHint.h b/src/Gui/InputHint.h
index 0fd39676cb..a3282e65a7 100644
--- a/src/Gui/InputHint.h
+++ b/src/Gui/InputHint.h
@@ -30,6 +30,7 @@
 #include <QString>
 
 #include <list>
+#include <vector>
 
 namespace Gui
 {