diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-19 00:56:11 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-10-19 00:56:11 +0000 |
| commit | 28af31bf1efff6fc143da3a9db9996162c2befab (patch) | |
| tree | 0d2648eaf6b4793c7faf39a99a9b308910d2c046 /INSTALL | |
| parent | 7f10c78f572debd0ddf717bfb9f9453a42c015cb (diff) | |
--fallback-sequential / --no-fallback-sequential option
closes bug 419, fix typo, fix warning
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ - is CVC4 release version 1.0. +CVC4 release version 1.0. *** Quick-start instructions |