diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-08 23:35:21 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-08 23:35:21 +0000 |
| commit | a0411d4baad389ce88d4bd26edc8ed811625887c (patch) | |
| tree | abebf0e104058828b8bde47b362e010cf6ef3f60 /src/expr/node_value.h | |
| parent | 58372a2ad23298810ae886a16db3c57f9df251af (diff) | |
The option --arith-presolve-lemmas had previously been renamed --unate-lemmas.
This commit just renames it in --help documentation, etc.
Diffstat (limited to 'src/expr/node_value.h')
0 files changed, 0 insertions, 0 deletions