From 4a83ecbd951b87c2b3aac4db28bc1e3b64ee82d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Thu, 24 Oct 2019 13:45:48 +0200
Subject: [PATCH] imgui: avoid warnings with IMGUI_API being redefined.

Including only the integration headers which already take care of this.
---
 src/imgui/ImGuiExample.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/imgui/ImGuiExample.cpp b/src/imgui/ImGuiExample.cpp
index 0ce524718..4254633a1 100644
--- a/src/imgui/ImGuiExample.cpp
+++ b/src/imgui/ImGuiExample.cpp
@@ -31,7 +31,6 @@
     CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 */
 
-#include <imgui.h>
 #include <Magnum/Math/Color.h>
 #include <Magnum/GL/DefaultFramebuffer.h>
 #include <Magnum/GL/Renderer.h>