summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/spack/spack/solver/concretize.lp3
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).