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 b30922d58901857ea5953ae7598c00e96d44ff8e..93169504d03c21a0842a6b572fbc383208a9ce0e 100644 (file)
--- 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 674dbe49d1995f1e2162661d682ffe91625f134b..de3c9aa627e0d952055eb6033ba4a51377ef4f54 100644 (file)
--- 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 64eeddd2f25dd371258dc2e2bc83805aadf69ed6..a984fe16f19bb59dfb9e02d161a10a3222994cf2 100644 (file)
--- 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