# HG changeset patch
# User krauss
# Date 1355930326 -3600
# Node ID b4d62535f5cd202a3e986786b2fd7dc0d535e92e
# Parent  e57ed50f6bf5908afaef77e635ae16c68f770882
removed unused usedir_options

diff -r e57ed50f6bf5 -r b4d62535f5cd Admin/mira.py
--- a/Admin/mira.py	Wed Dec 19 12:12:32 2012 +0100
+++ b/Admin/mira.py	Wed Dec 19 16:18:46 2012 +0100
@@ -17,8 +17,7 @@
 
 # build and evaluation tools
 
-def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps,
-  usedir_options='', more_settings=''):
+def prepare_isabelle_repository(loc_isabelle, loc_dependency_heaps, more_settings=''):
 
     # patch settings
     extra_settings = '''
@@ -116,8 +115,7 @@
 ISABELLE_GHC="/usr/bin/ghc"
 '''
 
-    prepare_isabelle_repository(isabelle_home, None,
-      usedir_options="", more_settings=more_settings)
+    prepare_isabelle_repository(isabelle_home, None, more_settings=more_settings)
     os.chdir(isabelle_home)
 
     # invoke build tool
@@ -180,8 +178,7 @@
     more_settings = '''
 ISABELLE_GHC="/usr/bin/ghc"
 '''
-    prepare_isabelle_repository(loc_isabelle, dep_isabelle,
-      more_settings = more_settings)
+    prepare_isabelle_repository(loc_isabelle, dep_isabelle, more_settings = more_settings)
     os.chdir(loc_isabelle)
     
     (return_code, log) = env.run_process('bin/isabelle',