diff -r e31bf8ed5397 -r cd266473b81b src/HOL/Mutabelle/lib/Tools/mutabelle
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Thu Mar 10 12:11:23 2016 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Thu Mar 10 12:11:50 2016 +0100
@@ -133,7 +133,7 @@
 
 # execution
 
-"$ISABELLE_PROCESS" -o auto_time_limit=10.0 \
+"$ISABELLE_TOOL" process -o auto_time_limit=10.0 \
   -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1