# HG changeset patch
# User bulwahn
# Date 1336555074 -7200
# Node ID 92b35ed6c3962a11a44517116e958e331731ff1a
# Parent  68f5aaf7cdd2127c68043dadf56787bb447230bf
tuned

diff -r 68f5aaf7cdd2 -r 92b35ed6c396 Admin/mira.py
--- a/Admin/mira.py	Wed May 09 10:39:54 2012 +0200
+++ b/Admin/mira.py	Wed May 09 11:17:54 2012 +0200
@@ -423,6 +423,7 @@
     """Scheduler for Mutabelle."""
     return schedule.age_scheduler(env, 'Isabelle', mutabelle_confs)
 
+
 # Judgement Day configurations
 
 judgement_day_provers = ('e', 'spass', 'vampire', 'z3', 'cvc3', 'yices')