projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 10c0624)
"prerelease -> release" in INSTALL (#2944)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 9 Apr 2019 00:55:50 +0000 (19:55 -0500)
committerAina Niemetz <aina.niemetz@gmail.com>
Tue, 9 Apr 2019 00:55:50 +0000 (17:55 -0700)
INSTALL.md patch | blob | history

diff --git a/INSTALL.md b/INSTALL.md
index 55bd4aef519b3e46f7b3aa293f040ece23d33286..177cf8318d97a3645101a209c2b2430a43d6be67 100644 (file)
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,4 +1,4 @@
-CVC4 prerelease version 1.7.
+CVC4 release version 1.7.
 ============================
 
 ## Building CVC4