missing header

Daniel Kroening · Daniel Kroening · commit 9140a76f4540 · 2016-05-24T08:21:29.000+01:00
diff --git a/src/goto-instrument/cover.cpp b/src/goto-instrument/cover.cpp
@@ -8,6 +8,8 @@ Date: May 2016
 
 \*******************************************************************/
 
+#include <algorithm>
+
 #include <util/i2string.h>
 
 #include "cover.h"
