1 files changed, 0 insertions, 7 deletions
diff --git a/src/theory/arith/ordered_set.h b/src/theory/arith/ordered_set.h
index e3eebae5c..8887daa8d 100644
--- a/src/theory/arith/ordered_set.h
+++ b/src/theory/arith/ordered_set.h
@@ -109,13 +109,6 @@ typedef std::map<Rational, BoundValueEntry> BoundValueSet;
 
 typedef std::set<TNode, RightHandRationalLT> EqualValueSet;
 
-// struct SetCleanupStrategy{
-//   static void cleanup(OrderedSet* l){
-//     Debug("arithgc") << "cleaning up  " << l << "\n";
-//     delete l;
-//   }
-// };
-
 }/* CVC4::theory::arith namespace */
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */