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/arith/constraint_forward.h | |
| parent | 8b71d28d4c63b4147429125fae7de3d75fb55bd8 (diff) | |
kinds: Remove non-existent properties. (#6253)
Diffstat (limited to 'src/theory/arith/constraint_forward.h')
0 files changed, 0 insertions, 0 deletions