From 33d5b4d60b6766c70d0739fa147839a219583dc3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20=C5=A0ach?= Date: Thu, 7 Dec 2023 15:36:34 +0100 Subject: [PATCH] Fix missing header in GLGizmoCut --- src/slic3r/GUI/Gizmos/GLGizmoCut.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/slic3r/GUI/Gizmos/GLGizmoCut.cpp b/src/slic3r/GUI/Gizmos/GLGizmoCut.cpp index c25b32b6de..48d119e7dc 100644 --- a/src/slic3r/GUI/Gizmos/GLGizmoCut.cpp +++ b/src/slic3r/GUI/Gizmos/GLGizmoCut.cpp @@ -8,6 +8,7 @@ #include #include +#include #include "slic3r/GUI/GUI_App.hpp" #include "slic3r/GUI/Plater.hpp"