bin/isabelle_process

--- a/bin/isabelle_process	Mon Mar 07 08:14:18 2016 +0100
+++ b/bin/isabelle_process	Mon Mar 07 09:49:58 2016 +0100
@@ -199,7 +199,7 @@
 
 if [ -n "$MODES" ]; then
   FIRST_ML_OPTIONS["${#FIRST_ML_OPTIONS[@]}"]="--eval"
-  FIRST_ML_OPTIONS["${#FIRST_ML_OPTIONS[@]}"]="Unsynchronized.change print_mode (append [$MODES])"
+  FIRST_ML_OPTIONS["${#FIRST_ML_OPTIONS[@]}"]="Print_Mode.add_modes [$MODES]"
 fi
 
 if [ -n "$SECURE" ]; then