projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 829b597)
fix type in sets_translate
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 17 Jul 2014 20:36:45 +0000 (16:36 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 24 Aug 2014 20:22:51 +0000 (16:22 -0400)
examples/sets-translate/sets_translate.cpp patch | blob | history

diff --git a/examples/sets-translate/sets_translate.cpp b/examples/sets-translate/sets_translate.cpp
index d214b6ab8b6b5f7c970aa79a52a60f5d7097e2f4..fbec42829e46b7973ce2e30ffa14a97cba3bf880 100644 (file)
--- 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;