diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index bd1527c09a2..3bdb8888f94 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -758,7 +758,8 @@ def visit(node): cores = [] # unsatisfiable cores if they do not def on_model(model): - models.append((model.cost, model.priority, model.symbols(shown=True, terms=True))) + priorities = getattr(model, "priority", None) + models.append((model.cost, priorities, model.symbols(shown=True, terms=True))) solve_kwargs = { "assumptions": self.assumptions, @@ -800,8 +801,6 @@ def on_model(model): depths = extract_functions(best_model, "depth") max_depth = max(d.args[1] for d in depths) - print("PRIO:", priorities) - result.criteria = build_criteria_names(min_cost, criteria, max_depth) # record the number of models the solver considered