lib/scripts/getfunctions

--- a/lib/scripts/getfunctions	Thu Feb 25 19:08:48 2016 +0100
+++ b/lib/scripts/getfunctions	Thu Feb 25 19:22:13 2016 +0100
@@ -6,11 +6,7 @@
 # non-interactive bash processess. NB: bash shell functions are not portable
 # and may be dropped by aggressively POSIX-conformant versions of /bin/sh.
 
-if [ -z "$ISABELLE_SETTINGS_PRESENT" ]
-then
-  echo 1>&2 "Missing Isabelle settings environment"
-  exit 2
-elif type splitarray >/dev/null 2>/dev/null
+if type splitarray >/dev/null 2>/dev/null
 then
   :
 else