Admin/isatest/settings/at-sml-dev-e

--- a/Admin/isatest/settings/at-sml-dev-e	Mon Jul 14 15:39:23 2014 +0200
+++ b/Admin/isatest/settings/at-sml-dev-e	Tue Jul 15 11:13:43 2014 +0200
@@ -7,6 +7,8 @@
 ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
 
+ISABELLE_GHC=/usr/bin/ghc
+
 ISABELLE_HOME_USER="$HOME/isabelle-at-sml-dev-e"
 
 # Where to look for isabelle tools (multiple dirs separated by ':').