summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorMassimiliano Culpo <massimiliano.culpo@gmail.com>2023-11-30 09:44:51 +0100
committerGitHub <noreply@github.com>2023-11-30 09:44:51 +0100
commit3b045c289dabda35a8c754a8683fb4214c206d04 (patch)
tree9c6512f3084bff4fe52bd8e5af7a0dab9765d5fc /lib
parent4b93c57d440b244532597d0c5b840a9f8b3412ec (diff)
downloadspack-3b045c289dabda35a8c754a8683fb4214c206d04.tar.gz
spack-3b045c289dabda35a8c754a8683fb4214c206d04.tar.bz2
spack-3b045c289dabda35a8c754a8683fb4214c206d04.tar.xz
spack-3b045c289dabda35a8c754a8683fb4214c206d04.zip
Fix a typo in an integrity constraint (#41334)
Diffstat (limited to 'lib')
-rw-r--r--lib/spack/spack/solver/concretize.lp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp
index d5f24ddc3b..a692c072a1 100644
--- a/lib/spack/spack/solver/concretize.lp
+++ b/lib/spack/spack/solver/concretize.lp
@@ -20,7 +20,7 @@
% Integrity constraints on DAG nodes
:- attr("root", PackageNode), not attr("node", PackageNode).
:- attr("version", PackageNode, _), not attr("node", PackageNode), not attr("virtual_node", PackageNode).
-:- attr("node_version_satisfies", PackageNode), not attr("node", PackageNode).
+:- attr("node_version_satisfies", PackageNode, _), not attr("node", PackageNode), not attr("virtual_node", PackageNode).
:- attr("hash", PackageNode, _), not attr("node", PackageNode).
:- attr("node_platform", PackageNode, _), not attr("node", PackageNode).
:- attr("node_os", PackageNode, _), not attr("node", PackageNode).