diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2017-05-15 10:09:45 -0700 |
|---|---|---|
| committer | Andres Noetzli <noetzli@stanford.edu> | 2017-05-15 10:09:45 -0700 |
| commit | 370052d7bb7125376eeb7296091f5ce977421efa (patch) | |
| tree | 03331800f869765a2660dad7d6d3174e9e539ea7 /src/theory/sets/theory_sets.h | |
| parent | 31681c7ff2a1469f5efc325fc1b3a406e3a85949 (diff) | |
Fix type checks for relation operators
This commit fixes an assertion error when applying transpose or transitive
closure to a set instead of a relation. Instead it now prints a parse error.
Diffstat (limited to 'src/theory/sets/theory_sets.h')
0 files changed, 0 insertions, 0 deletions