diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-06-14 16:27:16 +0200 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2023-08-15 15:54:37 -0700 |
| commit | a53cc930162db3a03b13ac3a8d37db64d85a612a (patch) | |
| tree | 50ee518cdb065cf364d824d089e8166dd86c5570 /lib | |
| parent | 6ad0dc3722c778afda37bcab8397ca6e703b5ee9 (diff) | |
| download | spack-a53cc930162db3a03b13ac3a8d37db64d85a612a.tar.gz spack-a53cc930162db3a03b13ac3a8d37db64d85a612a.tar.bz2 spack-a53cc930162db3a03b13ac3a8d37db64d85a612a.tar.xz spack-a53cc930162db3a03b13ac3a8d37db64d85a612a.zip | |
Remove useless rule
The version_equivalent fact was deleted in #36347,
but the corresponding rule was not removed.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 7cf01e98b0..baf9c4c984 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -82,11 +82,6 @@ facts(Package, version_declared(Version, Weight)) :- facts(Package, version_decl % versions are declared w/priority -- declared with priority implies declared facts(Package, version_declared(Version)) :- facts(Package, version_declared(Version, _)). -% a spec with a git hash version is equivalent to one with the same matched version -version_satisfies(Package, Constraint, HashVersion) :- version_satisfies(Package, Constraint, EquivalentVersion), - version_equivalent(Package, HashVersion, EquivalentVersion). -#defined version_equivalent/3. - % If something is a package, it has only one version and that must be a % declared version. % We allow clingo to choose any version(s), and infer an error if there |