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/printer/Makefile.am | |
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/printer/Makefile.am')
0 files changed, 0 insertions, 0 deletions