bugfix

ths-rwth · Jul 17, 2019 · cebf301 · cebf301
1 parent 6b66cef
commit cebf301
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smtrat-modules/SATModule/mcsat/MCSATMixin.tpp b/src/smtrat-modules/SATModule/mcsat/MCSATMixin.tpp
@@ -159,7 +159,7 @@ std::pair<bool, boost::optional<Explanation>> MCSATMixin<Settings>::isBooleanDec
 template<typename Settings>
 std::pair<boost::tribool, boost::optional<Explanation>> MCSATMixin<Settings>::propagateBooleanDomain(Minisat::Lit lit) {
 	auto var = Minisat::var(lit);
-	if (!mGetter.isTheoryAbstraction(var)) return std::make_pair(true, boost::none);
+	if (!mGetter.isTheoryAbstraction(var)) return std::make_pair(boost::indeterminate, boost::none);
 	const auto& f = mGetter.reabstractLiteral(lit);
 
 	carl::Variables vars;