Update Kontrol version

runtimeverification · Aug 21, 2024 · 9ac62f3 · 9ac62f3
1 parent 63727d8
commit 9ac62f3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/test/kontrol/scripts/run-kontrol.sh b/test/kontrol/scripts/run-kontrol.sh
@@ -13,6 +13,7 @@ parse_args "$@"
 #############
 # Functions #
 #############
+GHCRTS=''
 kontrol_build() {
   notif "Kontrol Build"
   # shellcheck disable=SC2086

diff --git a/test/kontrol/scripts/versions.json b/test/kontrol/scripts/versions.json
@@ -1,4 +1,4 @@
 {
-  "kontrol": "0.1.415",
+  "kontrol": "0.1.417",
   "kontrol-cheatcodes": "master"
 }