--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Wed Mar 09 16:53:14 2016 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Wed Mar 09 19:30:09 2016 +0100
@@ -134,7 +134,7 @@
# execution
"$ISABELLE_PROCESS" -o auto_time_limit=10.0 \
- -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' -q "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
+ -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
[ $? -ne 0 ] && echo "isabelle processing of mutabelle failed"