# HG changeset patch
# User bulwahn
# Date 1307122646 -7200
# Node ID cbb748ccf81b608b1603d920d56cf09b2737c142
# Parent  6c4e021dec06e9c27c02abe95444a2d95e669f42
changing the mira setting again for the mutabelle configuration

diff -r 6c4e021dec06 -r cbb748ccf81b Admin/mira.py
--- a/Admin/mira.py	Fri Jun 03 07:25:44 2011 +0200
+++ b/Admin/mira.py	Fri Jun 03 19:37:26 2011 +0200
@@ -271,7 +271,7 @@
     (loc_isabelle,) = paths
     (dep_isabelle,) = dep_paths
     more_settings = '''
-ISABELLE_GHC="/usr/local/ldist/bin/ghc"
+ISABELLE_GHC="/usr/bin/ghc"
 '''
     prepare_isabelle_repository(loc_isabelle, env.settings.contrib, dep_isabelle,
       more_settings = more_settings)