diff options
Diffstat (limited to 'src/smt/set_defaults.cpp')
| -rw-r--r-- | src/smt/set_defaults.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/smt/set_defaults.cpp b/src/smt/set_defaults.cpp index cb4c99a2e..d18b30430 100644 --- a/src/smt/set_defaults.cpp +++ b/src/smt/set_defaults.cpp @@ -842,11 +842,6 @@ void setDefaults(LogicInfo& logic, bool isInternalSubsolver) << std::endl; options::cegqi.set(false); } - // Do we need to track instantiations? - if (options::unsatCores() && !options::trackInstLemmas.wasSetByUser()) - { - options::trackInstLemmas.set(true); - } if ((options::fmfBoundLazy.wasSetByUser() && options::fmfBoundLazy()) || (options::fmfBoundInt.wasSetByUser() && options::fmfBoundInt())) |