diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-28 13:35:09 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-28 13:35:09 -0600 |
| commit | a975f3af51a3730f5b848d2b55f9c6d4027fe763 (patch) | |
| tree | 4f316ccd61625375f7a8fd92811e6f8f76b49b18 /src/options | |
| parent | 5c844f064cf6394030918c32f42d0764703b9786 (diff) | |
Use enum for quantifiers rewrite steps (#3840)
Makes trace messages easier to understand.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions