diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-11-12 08:11:20 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-11-12 08:11:20 -0800 |
| commit | 223657cef4dee4f32b04d82d3d62bda030afabfc (patch) | |
| tree | 1f274a45e5673e19bdb4b0f82231d6669130fe01 /test/regress/regress1/ho/hoa0102.smt2 | |
| parent | 99e830f0dd0beb00f93ea04b819294cab5e35b9a (diff) | |
Fix redundant definitions of `NodeValue::getConst`fixPayloadSeen
If multiple kinds have the same payload, cvc5 is currently generating
multiple copies of `NodeValue::getConst()` with the same template
argument, which results in a redefinition of the same function. This
commit modifies the `mkmetakind` script to avoid emitting redundant
definitions of `NodeValue::getConst()`.
Diffstat (limited to 'test/regress/regress1/ho/hoa0102.smt2')
0 files changed, 0 insertions, 0 deletions