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 e23b7cec2..5257915b0 100644 --- a/examples/sets-translate/sets_translate.cpp +++ b/examples/sets-translate/sets_translate.cpp @@ -127,7 +127,7 @@ class Mapper { << " ( (x " << elementType << ") )" << " " << name << "" << " (store emptyset" << elementTypeAsString << " x true) )" << endl; - setoperators[ make_pair(t, kind::SET_SINGLETON) ] = + setoperators[ make_pair(t, kind::SINGLETON) ] = em->mkVar( std::string("setenum") + elementTypeAsString, em->mkFunctionType( elementType, t ) ); |