From 28af31bf1efff6fc143da3a9db9996162c2befab Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Fri, 19 Oct 2012 00:56:11 +0000 Subject: --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.) --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index f914f4fe9..a9986a073 100644 --- a/INSTALL +++ b/INSTALL @@ -1,4 +1,4 @@ - is CVC4 release version 1.0. +CVC4 release version 1.0. *** Quick-start instructions -- cgit v1.2.3