diff -r 9e83b7c24b05 -r d72ab6bf6e6d src/HOL/Mutabelle/etc/settings
--- a/src/HOL/Mutabelle/etc/settings	Sat Feb 11 11:36:23 2012 +0100
+++ b/src/HOL/Mutabelle/etc/settings	Sat Feb 11 12:13:08 2012 +0100
@@ -5,5 +5,6 @@
 MUTABELLE_LOGIC=HOL
 MUTABELLE_IMPORT_THEORY=Complex_Main
 MUTABELLE_NUMBER_OF_MUTANTS=4
+MUTABELLE_NUMBER_OF_MUTATIONS=1
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"