diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-30 09:28:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 14:28:55 +0000 |
| commit | 05db3e9511c1c485b27a8e3467bcae74659dfd9a (patch) | |
| tree | edf809ce93c5538c1d7e855ca4bd153b03a96ecd /test/regress | |
| parent | a649c2f95ee929a6d922b9f44cadb4f909b5da6b (diff) | |
Refactoring quantifier annotation kinds, add kinds in preparation for pool-based instantiation (#6234)
This is in preparation for a new pool-based instantiation technique.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions