projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58372a2) | patch
The option --arith-presolve-lemmas had previously been renamed --unate-lemmas.
authorMorgan Deters <mdeters@gmail.com>
Fri, 8 Jun 2012 23:35:21 +0000 (23:35 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 8 Jun 2012 23:35:21 +0000 (23:35 +0000)
commita0411d4baad389ce88d4bd26edc8ed811625887c
treeabebf0e104058828b8bde47b362e010cf6ef3f60tree
parent58372a2ad23298810ae886a16db3c57f9df251afcommit | diff
The option --arith-presolve-lemmas had previously been renamed --unate-lemmas.

This commit just renames it in --help documentation, etc.
src/util/options.cpp diff | blob | history