2 files changed, 0 insertions, 25 deletions
diff --git a/src/util/tuple.h b/src/util/tuple.h
index 8d7eca3fd..e2440cc39 100644
--- a/src/util/tuple.h
+++ b/src/util/tuple.h
@@ -26,15 +26,6 @@
 
 namespace CVC4 {
 
-class CVC4_PUBLIC TupleSelect {
-  unsigned d_index;
-public:
-  TupleSelect(unsigned index) throw() : d_index(index) { }
-  unsigned getIndex() const throw() { return d_index; }
-  bool operator==(const TupleSelect& t) const throw() { return d_index == t.d_index; }
-  bool operator!=(const TupleSelect& t) const throw() { return d_index != t.d_index; }
-};/* class TupleSelect */
-
 class CVC4_PUBLIC TupleUpdate {
   unsigned d_index;
 public:
@@ -44,25 +35,14 @@ public:
   bool operator!=(const TupleUpdate& t) const throw() { return d_index != t.d_index; }
 };/* class TupleUpdate */
 
-struct CVC4_PUBLIC TupleSelectHashFunction {
-  inline size_t operator()(const TupleSelect& t) const {
-    return t.getIndex();
-  }
-};/* struct TupleSelectHashFunction */
-
 struct CVC4_PUBLIC TupleUpdateHashFunction {
   inline size_t operator()(const TupleUpdate& t) const {
     return t.getIndex();
   }
 };/* struct TupleUpdateHashFunction */
 
-std::ostream& operator<<(std::ostream& out, const TupleSelect& t) CVC4_PUBLIC;
 std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) CVC4_PUBLIC;
 
-inline std::ostream& operator<<(std::ostream& out, const TupleSelect& t) {
-  return out << "[" << t.getIndex() << "]";
-}
-
 inline std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) {
   return out << "[" << t.getIndex() << "]";
 }
diff --git a/src/util/tuple.i b/src/util/tuple.i
index 1498f9289..d5bf22f30 100644
--- a/src/util/tuple.i
+++ b/src/util/tuple.i
@@ -2,16 +2,11 @@
 #include "util/tuple.h"
 %}
 
-%rename(equals) CVC4::TupleSelect::operator==(const TupleSelect&) const;
-%ignore CVC4::TupleSelect::operator!=(const TupleSelect&) const;
-
 %rename(equals) CVC4::TupleUpdate::operator==(const TupleUpdate&) const;
 %ignore CVC4::TupleUpdate::operator!=(const TupleUpdate&) const;
 
-%rename(apply) CVC4::TupleSelectHashFunction::operator()(const TupleSelect&) const;
 %rename(apply) CVC4::TupleUpdateHashFunction::operator()(const TupleUpdate&) const;
 
-%ignore CVC4::operator<<(std::ostream&, const TupleSelect&);
 %ignore CVC4::operator<<(std::ostream&, const TupleUpdate&);
 
 %include "util/tuple.h"