1 files changed, 6 insertions, 0 deletions
diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h
index 7d147f6a5..8c34370d7 100644
--- a/src/theory/theory_test_utils.h
+++ b/src/theory/theory_test_utils.h
@@ -114,6 +114,12 @@ public:
     return d_callHistory.size();
   }
 
+  void printIth(std::ostream& os, int i){
+    os << "[TestOutputChannel " << i;
+    os << " " << getIthCallType(i);
+    os << " " << getIthNode(i) << "]";
+  }
+
 private:
   void push(OutputChannelCallType call, TNode n) {
     d_callHistory.push_back(std::make_pair(call,n));