diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-30 01:47:10 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-30 01:47:10 -0400 |
commit | 6b553f3ee59749f74475ee5c88b06ac04c16b3c6 (patch) | |
tree | c782fbd8530eccf700cffe24a48a98c047bbbba5 /examples/sets-translate | |
parent | 841c33c4b0b22c73951634fa6df5bf1b7065adbf (diff) |
fix sets-translate
Diffstat (limited to 'examples/sets-translate')
-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; |