From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 30 Jun 2015 05:47:10 +0000 (-0400)
Subject: fix sets-translate
X-Git-Tag: cvc5-1.0.0~6267^2~8
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b553f3ee59749f74475ee5c88b06ac04c16b3c6;p=cvc5.git

fix sets-translate
---

diff --git a/examples/sets-translate/sets_translate.cpp b/examples/sets-translate/sets_translate.cpp
index fbec42829..acf0fcafe 100644
--- a/examples/sets-translate/sets_translate.cpp
+++ b/examples/sets-translate/sets_translate.cpp
@@ -94,8 +94,13 @@ class Mapper {
       setTypes.insert(t);
 
       Type elementType = t.getElementType();
-      string elementTypeAsString = elementType.toString();
-      remove_if(elementTypeAsString.begin(), elementTypeAsString.end(), nonsense);
+      ostringstream oss_type;
+      oss_type << Expr::setlanguage(language::output::LANG_SMTLIB_V2)
+               << elementType;
+      string elementTypeAsString = oss_type.str();
+      elementTypeAsString.erase(
+        remove_if(elementTypeAsString.begin(), elementTypeAsString.end(), nonsense),
+        elementTypeAsString.end());
 
       // define-sort
       ostringstream oss_name;