diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 99ab8a0e00..d0a8a8a308 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -790,7 +790,8 @@ no_flags(Package, FlagType) % Installed packages %----------------------------------------------------------------------------- % the solver is free to choose at most one installed hash for each package -{ hash(Package, Hash) : installed_hash(Package, Hash) } 1 :- node(Package). +{ hash(Package, Hash) : installed_hash(Package, Hash) } 1 + :- node(Package), error("Internal error: package must resolve to at most one hash"). % if a hash is selected, we impose all the constraints that implies impose(Hash) :- hash(Package, Hash). |