concretizer: add another definition pragma.
- single_value_variant may not be defined by the generated program. Mark it to avoid warnings.
This commit is contained in:
parent
a81258663c
commit
6e31430bec
1 changed files with 1 additions and 0 deletions
|
@ -39,6 +39,7 @@ variant_set(P, V) :- variant_set(P, V, _).
|
|||
% spec or some package sets it, and without this, clingo will give
|
||||
% warnings like 'info: atom does not occur in any rule head'.
|
||||
#defined variant_set/3.
|
||||
#defined variant_single_value/2.
|
||||
|
||||
% variant_set is an explicitly set variant value. If it's not 'set',
|
||||
% we revert to the default value. If it is set, we force the set value
|
||||
|
|
Loading…
Reference in a new issue