diff --git a/src/plugins/coreplugin/editormanager/editormanager_p.h b/src/plugins/coreplugin/editormanager/editormanager_p.h index b1d2e3ad11b..ca8d8e6313e 100644 --- a/src/plugins/coreplugin/editormanager/editormanager_p.h +++ b/src/plugins/coreplugin/editormanager/editormanager_p.h @@ -37,6 +37,8 @@ #include "idocument.h" #include "ieditor.h" +#include + #include #include #include