From ae01fe7c42ee84d19fb788ca9711a66a9787ca92 Mon Sep 17 00:00:00 2001 From: Christian Stenger Date: Mon, 2 Jul 2018 15:07:26 +0200 Subject: [PATCH] Core: Fix missing include Change-Id: I6dfee20b3bd2e0ca4c0f3e8a2f8cd013157dd863 Reviewed-by: Christian Kandeler --- src/plugins/coreplugin/editormanager/editormanager_p.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/plugins/coreplugin/editormanager/editormanager_p.h b/src/plugins/coreplugin/editormanager/editormanager_p.h index 2a88a5daaaa..b9e021bcb8c 100644 --- a/src/plugins/coreplugin/editormanager/editormanager_p.h +++ b/src/plugins/coreplugin/editormanager/editormanager_p.h @@ -37,6 +37,7 @@ #include #include #include +#include #include #include