From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 17 Jul 2014 20:36:45 +0000 (-0400)
Subject: fix type in sets_translate
X-Git-Tag: cvc5-1.0.0~6651
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=336b0317e5b668040e53f399ec097eb100b696c3;p=cvc5.git

fix type in sets_translate
---

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;