diff options
Diffstat (limited to 'examples/sets-translate/sets_translate.cpp')
| -rw-r--r-- | examples/sets-translate/sets_translate.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/sets-translate/sets_translate.cpp b/examples/sets-translate/sets_translate.cpp index d214b6ab8..fbec42829 100644 --- a/examples/sets-translate/sets_translate.cpp +++ b/examples/sets-translate/sets_translate.cpp @@ -159,7 +159,7 @@ class Mapper { em->mkFunctionType( t_t, t ) ); if(!enableAxioms) - sout << "(define-fun in" << elementTypeAsString << " " + sout << "(define-fun member" << elementTypeAsString << " " << " ( (x " << elementType << ")" << " (s " << name << "))" << " Bool" << " (select s x) )" << endl; |