diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-12 00:32:02 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-12 00:32:02 +0000 |
commit | 3424d8805837637542264cdb717d650a8eed76b6 (patch) | |
tree | 5160a5910a7bfb7c1105a30f35033a1893556f31 /src/theory/substitutions.h | |
parent | cdb023736199d99d8202f248793cd465bfdae4fb (diff) |
fix ordering issue of --dump-to and --default-dag-thresh. now can be specified in either order and the DAG threshold takes.
Diffstat (limited to 'src/theory/substitutions.h')
0 files changed, 0 insertions, 0 deletions