# HG changeset patch
# User David Barts <n5jrn@me.com>
# Date 1586890308 25200
# Node ID 394bdafe0cdf532217b9a9f7ac61ac1833a99eeb
# Parent  2abd1acde716cabdda2c7e9629635f50bccc02db
Fix setup.

diff -r 2abd1acde716 -r 394bdafe0cdf setup.sh
--- a/setup.sh	Tue Apr 14 11:48:32 2020 -0700
+++ b/setup.sh	Tue Apr 14 11:51:48 2020 -0700
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 export JRE_HOME="$(/usr/libexec/java_home)"
-export KOTLIN_HOME="/usr/local/Cellar/kotlin/1.3.61/libexec"
+export KOTLIN_HOME="/usr/local/Cellar/kotlin/1.3.71/libexec"
 
 export ANT_HOME="$HOME/java/apache-ant-1.10.1"
 if [[ "$PATH" != *$ANT_HOME/bin* ]]