diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-11 19:50:00 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-11 17:50:00 -0800 |
commit | 91d701dd898acfddd55edffa9bf11cb175b09147 (patch) | |
tree | af1f902b013e351b94fbbb2f51f30d5bac86620f /cmake/ConfigureCVC4.cmake | |
parent | f835be8acdeb3c3cb8d4945479fcb7a25dc727aa (diff) |
Simplify instantiation match generator interface (#6121)
Diffstat (limited to 'cmake/ConfigureCVC4.cmake')
0 files changed, 0 insertions, 0 deletions