diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-17 16:36:45 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-08-24 16:22:51 -0400 |
| commit | 336b0317e5b668040e53f399ec097eb100b696c3 (patch) | |
| tree | c230dd76db1cc67f9625bee2fc2c4d61100e1492 /examples/sets-translate | |
| parent | 829b597108f64a97398c863d150905c6d203613f (diff) | |
fix type in sets_translate
Diffstat (limited to 'examples/sets-translate')
| -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; |