concretizer: mark depends_on/2 defined for solves without dependencies.

This commit is contained in:
Todd Gamblin 2019-08-18 16:22:51 -07:00
parent 60cf3fdb34
commit 4288639770

View File

@ -20,6 +20,9 @@
% dependencies imply new nodes.
node(D) :- node(P), depends_on(P, D).
% do not warn for solves with no dependencies
#defined depends_on/2.
%-----------------------------------------------------------------------------
% Variant semantics
%-----------------------------------------------------------------------------