# HG changeset patch
# User wenzelm
# Date 1539807661 -7200
# Node ID e8ef77b7e1a033bda7e8ed24dbfa7deeefb5df47
# Parent  12ff5e4767524d90c4d64aed0724f2ab6b336bc0
proper path;

diff -r 12ff5e476752 -r e8ef77b7e1a0 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed Oct 17 22:10:45 2018 +0200
+++ b/lib/scripts/getsettings	Wed Oct 17 22:21:01 2018 +0200
@@ -111,7 +111,7 @@
 
 #enforce ISABELLE_GHC
 if [ -d "$ISABELLE_STACK_ROOT" ]; then
-  if [ -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/ghc" ]; then
+  if [ -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/bin/ghc" ]; then
     ISABELLE_GHC="$ISABELLE_HOME/lib/Tools/ghc"
   fi
 fi