From 8c651687c79fa6242fb188c146033cd5a00d2743 Mon Sep 17 00:00:00 2001
From: Marek Trtik <trtikm@mail.muni.cz>
Date: Fri, 24 Feb 2023 19:18:55 +0100
Subject: [PATCH] Fixed building on Linux.

---
 src/osi/src/run.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/osi/src/run.cpp b/src/osi/src/run.cpp
index b086fee..b23b79b 100644
--- a/src/osi/src/run.cpp
+++ b/src/osi/src/run.cpp
@@ -1,10 +1,15 @@
 #include <osi/run.hpp>
 #include <osi/simulator.hpp>
 #include <utils/assumptions.hpp>
+#include <utils/config.hpp>
 #include <SDL2/SDL.h>
 #include <glad/glad.h>
 #include <imgui.h>
-#include <imgui_impl_sdl.h>
+#if PLATFORM() == PLATFORM_WINDOWS()
+#   include <imgui_impl_sdl.h>
+#else
+#   include <imgui_impl_sdl2.h>
+#endif
 #include <imgui_impl_opengl3.h>
 #include <chrono>
 #include <algorithm>
-- 
GitLab