From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 25 Aug 2017 20:29:04 +0000 (-0700)
Subject: Added missing includes (algorithm).
X-Git-Tag: cvc5-1.0.0~5665
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=378a0c45070ec033493c52e4fa92e6d03b89b6c0;p=cvc5.git

Added missing includes (algorithm).

Algorithm was previously removed from src/util/regexp.h which broke
compilation on some platforms.
---

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