From fb45a10a80b74b9d120e2800bb27c2716492cfbd Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 17:29:12 -0400
Subject: [PATCH] Final preparations for arithmetic for building with libc++.

---
 src/theory/arith/normal_form.cpp | 2 +-
 src/theory/arith/normal_form.h   | 5 ++---
 2 files changed, 3 insertions(+), 4 deletions(-)

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) {
-- 
2.30.2