Merge e0cc7b5 into 767e862

jupp0r · Jan 4, 2021 · f83f1b5 · f83f1b5
2 parents 767e862 + e0cc7b5
commit f83f1b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core/src/histogram.cc b/core/src/histogram.cc
@@ -3,6 +3,7 @@
 #include <algorithm>
 #include <cassert>
 #include <iterator>
+#include <limits>
 #include <numeric>
 #include <ostream>