diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 09:18:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 16:18:27 +0000 |
commit | afaf4413775ff7d6054a5893f1397ad908e0773c (patch) | |
tree | 2b0af7821b910a325f80f41246e3a4a6a4f363b1 /src/theory/skolem_lemma.h | |
parent | 8b71d28d4c63b4147429125fae7de3d75fb55bd8 (diff) |
kinds: Remove non-existent properties. (#6253)
Diffstat (limited to 'src/theory/skolem_lemma.h')
0 files changed, 0 insertions, 0 deletions