From 3f48aca72105b73e9947fd7934fe275442725b58 Mon Sep 17 00:00:00 2001
From: Simon Richter <Simon.Richter@hogyros.de>
Date: Wed, 21 Oct 2020 15:18:01 +0200
Subject: [PATCH] Add missing <algorithm>

---
 common/widgets/number_badge.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common/widgets/number_badge.cpp b/common/widgets/number_badge.cpp
index 1df74db940..447f8011e9 100644
--- a/common/widgets/number_badge.cpp
+++ b/common/widgets/number_badge.cpp
@@ -24,6 +24,8 @@
 #include <gal/color4d.h>
 #include <widgets/number_badge.h>
 
+#include <algorithm>
+
 
 NUMBER_BADGE::NUMBER_BADGE( wxWindow* aParent, wxWindowID aId, const wxPoint& aPos,
                             const wxSize& aSize, int aStyles ) :