diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-08-16 23:48:17 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-16 23:48:17 -0700 |
| commit | 4d303b5e6de8a3b963357a3c0238ffe81d36f766 (patch) | |
| tree | 54ef2fbfa6a57dee7753d39522fed89e21affa7f /src/expr/symbol_table.cpp | |
| parent | 420f25b1c8103bec7d5fd63a8ade2d9373395e55 (diff) | |
Initialize inputAssertions only when proofRecipe is non-null (#2325)
Most of the PR is clang-format cruft from picking up the contents of a PROOF({ ... });
Diffstat (limited to 'src/expr/symbol_table.cpp')
0 files changed, 0 insertions, 0 deletions