From 97443967555b0e7fe6be4e6ab03b81383bc90430 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 25 May 2017 12:44:35 -0500
Subject: [PATCH] Quote unsat core names if applicable, fixes bug 816.

---
 src/printer/smt2/smt2_printer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp
index 247ef2431..fd7753511 100644
--- a/src/printer/smt2/smt2_printer.cpp
+++ b/src/printer/smt2/smt2_printer.cpp
@@ -1067,7 +1067,7 @@ void Smt2Printer::toStream(std::ostream& out, const UnsatCore& core, const std::
     if(j == names.end()) {
       out << *i << endl;
     } else {
-      out << (*j).second << endl;
+      out << maybeQuoteSymbol((*j).second) << endl;
     }
   }
   out << ")" << endl;
-- 
2.30.2