diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 16:32:05 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 16:37:32 -0400 |
| commit | ea22ebcbd69b24906d2214b7d294261578ce67a7 (patch) | |
| tree | e64d46a849d4e40f544bbb9199fe08e3fce7ef58 /src/theory/theory.h | |
| parent | 5ca5dd42d95ce08a4ea456212fffcd2672e31fc1 (diff) | |
Set dumping options from (set-option..) and API more directly.
Diffstat (limited to 'src/theory/theory.h')
0 files changed, 0 insertions, 0 deletions