From 378a0c45070ec033493c52e4fa92e6d03b89b6c0 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 25 Aug 2017 13:29:04 -0700
Subject: [PATCH] Added missing includes (algorithm).

Algorithm was previously removed from src/util/regexp.h which broke
compilation on some platforms.
---
 src/parser/smt1/Smt1.g   | 1 +
 src/parser/smt2/smt2.cpp | 2 ++
 src/parser/tptp/tptp.cpp | 2 ++
 3 files changed, 5 insertions(+)

diff --git a/src/parser/smt1/Smt1.g b/src/parser/smt1/Smt1.g
index b30922d58..93169504d 100644
--- a/src/parser/smt1/Smt1.g
+++ b/src/parser/smt1/Smt1.g
@@ -71,6 +71,7 @@ options {
 // files. See the documentation in "parser/antlr_undefines.h" for more details.
 #include "parser/antlr_undefines.h"
 
+#include <algorithm>
 #include <memory>
 #include <stdint.h>
 
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 674dbe49d..de3c9aa62 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -24,6 +24,8 @@
 #include "smt/command.h"
 #include "util/bitvector.h"
 
+#include <algorithm>
+
 // ANTLR defines these, which is really bad!
 #undef true
 #undef false
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp
index 64eeddd2f..a984fe16f 100644
--- a/src/parser/tptp/tptp.cpp
+++ b/src/parser/tptp/tptp.cpp
@@ -20,6 +20,8 @@
 #include "expr/type.h"
 #include "parser/parser.h"
 
+#include <algorithm>
+
 // ANTLR defines these, which is really bad!
 #undef true
 #undef false
-- 
2.30.2