2 files changed, 7 insertions, 0 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index c8e9106a7..6db6b440e 100644
--- a/src/compat/cvc3_compat.cpp
+++ b/src/compat/cvc3_compat.cpp
@@ -67,6 +67,12 @@ std::ostream& operator<<(std::ostream& out, QueryResult qr) {
   return out;
 }
 
+std::string QueryResultToString(QueryResult qr) {
+  stringstream sstr;
+  sstr << qr;
+  return sstr.str();
+}
+
 std::ostream& operator<<(std::ostream& out, FormulaValue fv) {
   switch(fv) {
   case TRUE_VAL: out << "TRUE_VAL"; break;
diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h
index 2798c5b3c..b4c9cba3e 100644
--- a/src/compat/cvc3_compat.h
+++ b/src/compat/cvc3_compat.h
@@ -428,6 +428,7 @@ typedef enum QueryResult {
 } QueryResult;
 
 std::ostream& operator<<(std::ostream& out, QueryResult qr);
+std::string QueryResultToString(QueryResult query_result);
 
 /*****************************************************************************/
 /*