From 9aaa8bfdc90a460222737e9b9b802862fc138fba Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Date: Fri, 26 Jul 2019 13:12:25 -0600
Subject: [PATCH] deps/k_release: correct URL

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 00d23b1b11..2273462042 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-https://github.com/kframework/k/releases/tag/nightly-ec2e4e7b5
+https://github.com/kframework/k/releases/download/nightly-ec2e4e7b5