diff options
Diffstat (limited to 'examples')
-rw-r--r-- | examples/sets-translate/sets_translate.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
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; |