From a53cc930162db3a03b13ac3a8d37db64d85a612a Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Wed, 14 Jun 2023 16:27:16 +0200 Subject: Remove useless rule The version_equivalent fact was deleted in #36347, but the corresponding rule was not removed. --- lib/spack/spack/solver/concretize.lp | 5 ----- 1 file changed, 5 deletions(-) (limited to 'lib') 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 -- cgit v1.2.3-60-g2f50