Include <algorithm> to provide std::max

tautschnig · tautschnig · commit 50f7eb1a7d28 · 2017-02-13T13:03:25.000Z
diff --git a/src/goto-programs/remove_static_init_loops.cpp b/src/goto-programs/remove_static_init_loops.cpp
@@ -6,6 +6,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 \*******************************************************************/
 
+#include <algorithm>
+
 #include <util/message.h>
 #include <util/suffix.h>
 #include <util/string2int.h>
