diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-11-30 09:44:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-30 09:44:51 +0100 |
| commit | 3b045c289dabda35a8c754a8683fb4214c206d04 (patch) | |
| tree | 9c6512f3084bff4fe52bd8e5af7a0dab9765d5fc | |
| parent | 4b93c57d440b244532597d0c5b840a9f8b3412ec (diff) | |
| download | spack-3b045c289dabda35a8c754a8683fb4214c206d04.tar.gz spack-3b045c289dabda35a8c754a8683fb4214c206d04.tar.bz2 spack-3b045c289dabda35a8c754a8683fb4214c206d04.tar.xz spack-3b045c289dabda35a8c754a8683fb4214c206d04.zip | |
Fix a typo in an integrity constraint (#41334)
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 2 |
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). |