diff --git a/pkg/solver/parallel.go b/pkg/solver/parallel.go
index a91937f5..358de7a6 100644
--- a/pkg/solver/parallel.go
+++ b/pkg/solver/parallel.go
@@ -741,7 +741,7 @@ func (s *Parallel) Uninstall(checkconflicts, full bool, packs ...pkg.Package) (p
 func (s *Parallel) BuildFormula() (bf.Formula, error) {
 	var formulas []bf.Formula
 
-	r, err := s.BuildPartialWorld(false)
+	r, err := s.BuildWorld(false)
 	if err != nil {
 		return nil, err
 	}
diff --git a/pkg/solver/solver.go b/pkg/solver/solver.go
index b8824da9..32cf5fdf 100644
--- a/pkg/solver/solver.go
+++ b/pkg/solver/solver.go
@@ -661,7 +661,7 @@ func (s *Solver) Uninstall(checkconflicts, full bool, packs ...pkg.Package) (pkg
 // BuildFormula builds the main solving formula that is evaluated by the sat solver.
 func (s *Solver) BuildFormula() (bf.Formula, error) {
 	var formulas []bf.Formula
-	r, err := s.BuildPartialWorld(false)
+	r, err := s.BuildWorld(false)
 	if err != nil {
 		return nil, err
 	}