diff options
Diffstat (limited to 'src/main/driver.cpp')
-rw-r--r-- | src/main/driver.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/main/driver.cpp b/src/main/driver.cpp index e9bfde024..fa42e0b28 100644 --- a/src/main/driver.cpp +++ b/src/main/driver.cpp @@ -331,14 +331,6 @@ static bool doCommand(SmtEngine& smt, Command* cmd, Options& options) { status = doCommand(smt, *subcmd, options) && status; } } else { - // by default, symmetry breaker is on only for QF_UF - if(! options.ufSymmetryBreakerSetByUser) { - SetBenchmarkLogicCommand *logic = dynamic_cast<SetBenchmarkLogicCommand*>(cmd); - if(logic != NULL) { - options.ufSymmetryBreaker = (logic->getLogic() == "QF_UF"); - } - } - if(options.verbosity > 0) { *options.out << "Invoking: " << *cmd << endl; } |