diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-13 10:52:00 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 46987294fb05033c899429bb5c1e98e54ce66a03 (patch) | |
| tree | 736f3e41e83245fff7d97fcb3162f9cc4cc4336f /src/theory | |
| parent | 24abe141fdea50aff2d6856e26d9ca1ea66becf8 (diff) | |
cmake: Generate cvc4autoconfig.h (options currently statically set).
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions