diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-05-21 15:48:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-21 15:48:39 -0500 |
| commit | d99cc0f25aad013886a9648c93423c64fab9bdd4 (patch) | |
| tree | adb26c02ec799882324df32997c520ceb3384be7 /src/expr/term_context_stack.h | |
| parent | d7f3cf539939c717692d1309bda742801817ad64 (diff) | |
Minor simplification to boolean proof checker (#6590)
Diffstat (limited to 'src/expr/term_context_stack.h')
0 files changed, 0 insertions, 0 deletions