bin/isabelle_process

 
 ## ML text
 
 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
   LAST_ML_OPTIONS["${#LAST_ML_OPTIONS[@]}"]="--eval"
   LAST_ML_OPTIONS["${#LAST_ML_OPTIONS[@]}"]="Secure.set_secure ()"