From 2b4cd76ce8d1e47fdb09149fbb0f4d81609e4d70 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Wed, 2 May 2018 11:12:57 +0100
Subject: [PATCH] missing #include <algorithm> for std::find_if_not

---
 src/java_bytecode/jar_file.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/java_bytecode/jar_file.cpp b/src/java_bytecode/jar_file.cpp
index ff0f068a748..28a099ec934 100644
--- a/src/java_bytecode/jar_file.cpp
+++ b/src/java_bytecode/jar_file.cpp
@@ -7,9 +7,13 @@ Author: Diffblue Ltd
 \*******************************************************************/
 
 #include "jar_file.h"
+
+#include <algorithm>
 #include <cctype>
-#include <util/suffix.h>
+
 #include <util/invariant.h>
+#include <util/suffix.h>
+
 #include "java_class_loader_limit.h"
 
 void jar_filet::initialize_file_index(java_class_loader_limitt &limit)