Fix.

mpreiner · Sep 25, 2024 · 3bd569e · 3bd569e
1 parent 97a46fd
commit 3bd569e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/prop/cadical.cpp b/src/prop/cadical.cpp
@@ -1227,7 +1227,7 @@ void CadicalSolver::initialize(context::Context* context,
   d_proxy = theoryProxy;
   d_propagator.reset(new CadicalPropagator(theoryProxy, context, *d_solver));
   d_solver->connect_external_propagator(d_propagator.get());
-  if (d_env.getOptions().base.pluginNotifySatClauseInSolve)
+  if (!d_env.getPlugins().empty())
   {
     d_clause_learner.reset(new ClauseLearner(*theoryProxy, 0));
     d_solver->connect_learner(d_clause_learner.get());