From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 21:29:12 +0000 (-0400)
Subject: Final preparations for arithmetic for building with libc++.
X-Git-Tag: cvc5-1.0.0~6781
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b766bc3bcc5510a283f8f35f3362b33f8a0ed461;p=cvc5.git

Final preparations for arithmetic for building with libc++.
---

diff --git a/src/theory/arith/normal_form.cpp b/src/theory/arith/normal_form.cpp
index afaaedbf9..ce0bd9d30 100644
--- a/src/theory/arith/normal_form.cpp
+++ b/src/theory/arith/normal_form.cpp
@@ -90,7 +90,7 @@ bool Variable::isDivMember(Node n){
 
 
 bool VarList::isSorted(iterator start, iterator end) {
-  return __gnu_cxx::is_sorted(start, end);
+  return std::is_sorted(start, end);
 }
 
 bool VarList::isMember(Node n) {
diff --git a/src/theory/arith/normal_form.h b/src/theory/arith/normal_form.h
index 3267834b5..8d37bed23 100644
--- a/src/theory/arith/normal_form.h
+++ b/src/theory/arith/normal_form.h
@@ -28,7 +28,6 @@
 
 #include <list>
 #include <algorithm>
-#include <ext/algorithm>
 
 namespace CVC4 {
 namespace theory {
@@ -510,7 +509,7 @@ private:
 
 public:
 
-  class iterator {
+  class iterator : public std::iterator<std::input_iterator_tag, Variable> {
   private:
     internal_iterator d_iter;
 
@@ -732,7 +731,7 @@ public:
   }
 
   static bool isSorted(const std::vector<Monomial>& m) {
-    return __gnu_cxx::is_sorted(m.begin(), m.end());
+    return std::is_sorted(m.begin(), m.end());
   }
 
   static bool isStrictlySorted(const std::vector<Monomial>& m) {