diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-16 12:24:12 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-10-16 14:24:12 -0500 |
| commit | 71c623be9ef67fef62e8bff6ef78af7696bfedc7 (patch) | |
| tree | 8be48af5b007024dbfe679bfe715265c18e7a43c /cvc4autoconfig.new.h.in | |
| parent | fb00b860208a159d5fc57966d3ce600ba5b5346a (diff) | |
cmake: Add CxxTest include directory to unit test includes. (#2642)
Diffstat (limited to 'cvc4autoconfig.new.h.in')
0 files changed, 0 insertions, 0 deletions