# HG changeset patch
# User haftmann
# Date 1295340269 -3600
# Node ID 3b81d1d1f0d0a7c8b2f5efeebea552de98f40a2f
# Parent  c78b786fe0607ed3317cac2fb4afe1b92101cc81# Parent  4f4336e730b94b11654ed68102a755d44d58dbf3
merged

diff -r c78b786fe060 -r 3b81d1d1f0d0 Admin/mira.py
--- a/Admin/mira.py	Mon Jan 17 20:20:51 2011 +0100
+++ b/Admin/mira.py	Tue Jan 18 09:44:29 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):