diff --git a/internal/solver/solve.go b/internal/solver/solve.go
index 4706aa7..7920263 100644
--- a/internal/solver/solve.go
+++ b/internal/solver/solve.go
@@ -54,7 +54,7 @@ func (s *solver) solve() ([]deppy.Variable, error) {
 	// collect literals of all mandatory variables to assume as a baseline
 	anchors := s.litMap.AnchorIdentifiers()
 	assumptions := make([]z.Lit, len(anchors))
-	for i := range s.litMap.AnchorIdentifiers() {
+	for i := range anchors {
 		assumptions[i] = s.litMap.LitOf(anchors[i])
 	}