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: Added missing includes (algorithm).

Algorithm was previously removed from src/util/regexp.h which broke
compilation on some platforms.
---
 src/parser/tptp/tptp.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/parser/tptp/tptp.cpp')

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
-- 
cgit v1.2.3