From 8aaf31b1661f78e77a8e788f761fa88655e23c14 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Thu, 18 Feb 2021 08:13:50 +0100 Subject: Avoid spurious warning from clingo (#21731) There's a spurious warning that occurs whenever a spec being concretized does not depend on a virtual provider under any possible configuration. --- lib/spack/spack/solver/concretize.lp | 1 + 1 file changed, 1 insertion(+) (limited to 'lib') diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index d706663aaa..22ba77142a 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -227,6 +227,7 @@ provider_weight(Package, 100) provider(Package, Virtual), not default_provider_preference(Virtual, Package, _). +#defined possible_provider/2. #defined provider_condition/3. #defined required_provider_condition/3. #defined required_provider_condition/4. -- cgit v1.2.3-60-g2f50