# HG changeset patch
# User wenzelm
# Date 1541685413 -3600
# Node ID 021ea2abf42de3325c9abf603702bf2e27b91421
# Parent  c546e37f6cb9ddd8e73b3dacdb3630f1b7a33c80
simplified -- according to regular "ghci" script;

diff -r c546e37f6cb9 -r 021ea2abf42d lib/Tools/ghci
--- a/lib/Tools/ghci	Thu Nov 08 14:48:20 2018 +0100
+++ b/lib/Tools/ghci	Thu Nov 08 14:56:53 2018 +0100
@@ -4,9 +4,4 @@
 #
 # DESCRIPTION: invoke GHC interaction within the Isabelle environment
 
-if [ -d "$ISABELLE_STACK_ROOT" -a -n "$ISABELLE_GHC" ]; then
-  isabelle_stack ghci "$@"
-else
-  echo "Cannot execute ghci: missing Isabelle GHC setup" >&2
-  exit 127
-fi
+isabelle ghc --interactive "$@"