--- a/src/HOL/Mirabelle/lib/scripts/mirabelle.pl Fri May 17 20:30:04 2013 +0200
+++ b/src/HOL/Mirabelle/lib/scripts/mirabelle.pl Fri May 17 20:41:45 2013 +0200
@@ -158,7 +158,7 @@
if ($output_log) { print "Mirabelle: $thy_file\n"; }
my $result = system "\"$ENV{'ISABELLE_PROCESS'}\" " .
- "-e 'Unsynchronized.setmp Multithreading.max_threads 1 (Unsynchronized.setmp quick_and_dirty true use_thy) \"$path/$new_thy_name\" handle _ => exit 1;\n' -q $mirabelle_logic" . $quiet;
+ "-o quick_and_dirty -e 'Unsynchronized.setmp Multithreading.max_threads 1 use_thy \"$path/$new_thy_name\" handle _ => exit 1;\n' -q $mirabelle_logic" . $quiet;
if ($output_log) {
my $outcome = ($result ? "failure" : "success");