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 "$@"