diff options
| author | guykatzz <katz911@gmail.com> | 2016-08-05 23:23:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-05 23:23:23 -0700 |
| commit | 54fc9c88ac754c96fc0a9c88d6c80c72e9050d34 (patch) | |
| tree | bf5e3b13026bc007aa57046200974e8bdf17f3db /src/proof/theory_proof.cpp | |
| parent | c82514b57252444df982b35af4809e0fd4635e37 (diff) | |
| parent | 0812bb7f36c454d282be5e9960a9a820e4fbd52c (diff) | |
Merge pull request #88 from 4tXJ7f/fix_comments
Minor: add/fix comments, remove redundant includes
Diffstat (limited to 'src/proof/theory_proof.cpp')
0 files changed, 0 insertions, 0 deletions