# HG changeset patch
# User wenzelm
# Date 1706732709 -3600
# Node ID 4838fcbd019bb3600bec2df7bf904f391e052ce2
# Parent  5c2c8a60b77e435a2fad3d474aaf18a4f3d6c9b6
proper bash syntax (amending 0631dfc0db07);

diff -r 5c2c8a60b77e -r 4838fcbd019b lib/Tools/scala
--- a/lib/Tools/scala	Wed Jan 31 21:10:52 2024 +0100
+++ b/lib/Tools/scala	Wed Jan 31 21:25:09 2024 +0100
@@ -16,6 +16,6 @@
   windows*)
     export TERM=dumb
     ;;
-fi
+esac
 
 isabelle_scala scala $ISABELLE_SCALAC_OPTIONS "$@"