diff --git a/modules/gui/src/python_shell/python_shell_widget.hh b/modules/gui/src/python_shell/python_shell_widget.hh index d55f8c3c3f1147c761c8b718ba667dc11e6aa111..1b8157011daa104b4a7a716f9619283ed7076560 100644 --- a/modules/gui/src/python_shell/python_shell_widget.hh +++ b/modules/gui/src/python_shell/python_shell_widget.hh @@ -27,7 +27,7 @@ #include <ost/gui/module_config.hh> #include <QPlainTextEdit> - +#include <QHash> #include "python_interpreter.hh" #include "shell_history.hh" #include "python_shell_fw.hh"