CI include

obsidian-level-maker · Jun 11, 2024 · d5e8d23 · d5e8d23
1 parent c1d7578
commit d5e8d23
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/source/m_theme.cc b/source/m_theme.cc
@@ -19,6 +19,8 @@
 //
 //----------------------------------------------------------------------
 
+#include <algorithm>
+
 #include "hdr_fltk.h"
 #include "hdr_ui.h"
 #include "lib_argv.h"