From 336b0317e5b668040e53f399ec097eb100b696c3 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Thu, 17 Jul 2014 16:36:45 -0400 Subject: [PATCH] fix type in sets_translate --- examples/sets-translate/sets_translate.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.30.2