diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-23 13:46:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-23 13:46:02 -0700 |
| commit | 9b5680a2cb6efd75c7fd1f7784cda2b6e5b98bfd (patch) | |
| tree | 5133c61860babe051b1b555e67b3e9bb095374fe /src/proof/resolution_bitvector_proof.cpp | |
| parent | 0539b0342b46e9fb96467a23f703bf2317692bb2 (diff) | |
New C++ API: Remove examples for old API. (#4650)
This removes obsolete examples for the old API in preparation of making
the old API private. Examples for the new API are renamed from
*-new.cpp to *.cpp.
Diffstat (limited to 'src/proof/resolution_bitvector_proof.cpp')
0 files changed, 0 insertions, 0 deletions