Radish alpha
H
HardenedBSD-pkg
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
Commits › 67fe7b3
Revert "solver: fix sigbus with vital rule"
Baptiste Daroussin committed 2 years ago
commit 67fe7b3b791d62e0e7e3a275191657bd0874df0c
parent 481c87b
1 file changed +0 -2
modified libpkg/pkg_solve.c
@@ -971,8 +971,6 @@ pkg_solve_set_initial_assumption(struct pkg_solve_problem *problem,
		/* XXX: deal with require rules somehow */

		break;

	case PKG_RULE_VITAL:
- 
		assert (rule->items != NULL);
- 
		item = rule->items;

		var = item->var;

		picosat_set_default_phase_lit(problem->sat, var->order, 1);

		break;