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 f099b017a..1917ea2d1 100644 --- a/examples/sets-translate/sets_translate.cpp +++ b/examples/sets-translate/sets_translate.cpp @@ -314,7 +314,7 @@ int main(int argc, char* argv[]) cout << SetBenchmarkLogicCommand(logicinfo.getLogicString()) << endl; } } else { - logicinfo.enableTheory(theory::THEORY_ARRAY); + logicinfo.enableTheory(theory::THEORY_ARRAYS); // we print logic string only for Quantifiers, for Z3 stuff // we don't set the logic } |