From 1903c1f8f6f4995e2d2e7a8d91f0b234a187f8bc Mon Sep 17 00:00:00 2001
From: chathhorn <chathhorn@gmail.com>
Date: Wed, 21 Aug 2013 13:48:21 -0500
Subject: [PATCH] Link to K v3.2.1 in the INSTALL.md.

---
 INSTALL.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 5034ed6e9..df0431bea 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -70,9 +70,9 @@ $ ocaml
 (Press ctrl-d to exit.)
 
 ### 4. Install K.
-- This version of the C semantics should work with the latest stable version of
+- This version of the C semantics has been tested with version 3.2.1 of
   the K Framework. It can be downloaded here:
-  <https://github.com/kframework/k/releases/tag/latest>
+  <https://github.com/kframework/k/releases/tag/v3.2.1>
 - See the README included with K for build and installation instructions.
 
 ### 5. Install optional packages.