From 09f28a6a107e2599c2f53d1dd8d201d8c18e625f Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 4 Oct 2011 01:06:41 +0000
Subject: [PATCH] mimicking Chris's recent contribution to QueryResult in CVC3
 in the compatibility layer

---
 src/compat/cvc3_compat.cpp | 6 ++++++
 src/compat/cvc3_compat.h   | 1 +
 2 files changed, 7 insertions(+)

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);
 
 /*****************************************************************************/
 /*
-- 
2.30.2