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 /src/options/printer_modes.h | |
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 'src/options/printer_modes.h')
0 files changed, 0 insertions, 0 deletions