From 4c166cb8e9294fef3f92b5a361d145c83b27fcdd Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 8 Apr 2019 19:55:50 -0500
Subject: [PATCH] "prerelease -> release" in INSTALL (#2944)

---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2