# HG changeset patch
# User krauss
# Date 1301087852 -3600
# Node ID b8f176348f4442899fc510b0cdd251b7aff048b0
# Parent  21714b0de625b8e79d675fa9f2e0a47f95a94e42
fixed incomplete rename (1cdf54e845fa)

diff -r 21714b0de625 -r b8f176348f44 Admin/mira.py
--- a/Admin/mira.py	Fri Mar 25 21:38:41 2011 +0100
+++ b/Admin/mira.py	Fri Mar 25 22:17:32 2011 +0100
@@ -110,7 +110,7 @@
 
     isabelle_home = paths[0]
     dep_path = dep_paths[0]
-    prepare_isabelle_repository(p, env.settings.contrib, dep_path, more_settings=more_settings)
+    prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings)
     os.chdir(path.join(isabelle_home, 'src', subdir))
 
     (return_code, log) = isabelle_usedir(env, isabelle_home, '-b', base, img)