From d7f4845d953ce9969f2583f93dc92c1f68ff6c19 Mon Sep 17 00:00:00 2001 From: Mikalai Radchuk Date: Thu, 16 Nov 2023 14:55:58 +0000 Subject: [PATCH] Avoid extra call to `AnchorIdentifiers()` Signed-off-by: Mikalai Radchuk --- internal/solver/solve.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]) }