projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5d73d5) | patch
Fixed spelling mistake and documentation for --enable-variable-removal.
authorTim King <taking@cs.nyu.edu>
Wed, 29 Jun 2011 19:32:04 +0000 (19:32 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 29 Jun 2011 19:32:04 +0000 (19:32 +0000)
commitb906fe1d71ecb238365ecc8bcca8b5bb1719eb56
tree090ac0bc487e34288101814062e7862bdda593f5tree
parentd5d73d514946ea4a7f5691f46c4d6b9c2776f59dcommit | diff
Fixed spelling mistake and documentation for --enable-variable-removal.
src/util/options.cpp diff | blob | history