diff -r ced4f78bb728 -r 4f4336e730b9 Admin/mira.py
--- a/Admin/mira.py	Sun Jan 16 21:10:30 2011 +0100
+++ b/Admin/mira.py	Tue Jan 18 09:44:23 2011 +0100
@@ -209,10 +209,9 @@
     except IOError:
         mutabelle_log = ''
 
-    attachments = { 'log': log, 'mutabelle_log': mutabelle_log}
-
     return (return_code == 0 and mutabelle_log != '', extract_isabelle_run_summary(log),
-      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None)
+      {'timing': extract_isabelle_run_timing(log)},
+      {'log': log, 'mutabelle_log': mutabelle_log}, None)
 
 @configuration(repos = [Isabelle], deps = [(HOL, [0])])
 def Mutabelle_Relation(*args):