From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 9 Apr 2019 00:55:50 +0000 (-0500)
Subject: "prerelease -> release" in INSTALL (#2944)
X-Git-Tag: cvc5-1.0.0~4185
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c166cb8e9294fef3f92b5a361d145c83b27fcdd;p=cvc5.git

"prerelease -> release" in INSTALL (#2944)
---

diff --git a/INSTALL.md b/INSTALL.md
index 55bd4aef5..177cf8318 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,4 +1,4 @@
-CVC4 prerelease version 1.7.
+CVC4 release version 1.7.
 ============================
 
 ## Building CVC4