# HG changeset patch
# User krauss
# Date 1333307524 -7200
# Node ID aabdd7765b647ffc6c845c1a116d33a91567f596
# Parent  30a1692557b0e3b81eff8b5a7cc2541acccef64a
adapted Mira configuration to dd04c8173bb2.

diff -r 30a1692557b0 -r aabdd7765b64 Admin/mira.py
--- a/Admin/mira.py	Sun Apr 01 16:09:58 2012 +0200
+++ b/Admin/mira.py	Sun Apr 01 21:12:04 2012 +0200
@@ -59,7 +59,7 @@
 
 ISABELLE_USEDIR_OPTIONS="%s"
 
-[[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk"
+ISABELLE_JDK_HOME="$JAVA_HOME"
 Z3_NON_COMMERCIAL="yes"
 
 %s