diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-02 16:20:31 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-02 18:20:31 -0500 |
| commit | 6411f92760a9116dec7e3390dd1d2f1bd8566e94 (patch) | |
| tree | e11ae0a24c157cf01dbcf287727240b4e75b7b8a /src/expr/proof_generator.h | |
| parent | 0f9fb31069d51e003a39b0e93f506324dec2bdac (diff) | |
Fix CryptoMiniSat build, regression (#5006)
This commit fixes builds that include CryptoMiniSat after commit
8ad308b removed them. It also fixes one
of the regressions that requires unsat cores but was run when the build
was configured without them.
Diffstat (limited to 'src/expr/proof_generator.h')
0 files changed, 0 insertions, 0 deletions