# HG changeset patch
# User wenzelm
# Date 1256031379 -7200
# Node ID 5c29cc66a0299bcf8b754586c2dad63524779a82
# Parent  85cd3e4bbd5c3613a8861906a064190129d9c218
slightly less context-sensitive settings;

diff -r 85cd3e4bbd5c -r 5c29cc66a029 src/HOL/SMT/etc/settings
--- a/src/HOL/SMT/etc/settings	Tue Oct 20 11:08:50 2009 +0200
+++ b/src/HOL/SMT/etc/settings	Tue Oct 20 11:36:19 2009 +0200
@@ -1,10 +1,10 @@
 ISABELLE_SMT="$COMPONENT"
 
-REMOTE_SMT_SOLVER="$COMPONENT/lib/scripts/remote_smt.pl"
+REMOTE_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/remote_smt.pl"
 
 REMOTE_SMT_URL="http://www4.in.tum.de/smt/smt"
 
-CERT_SMT_SOLVER="$COMPONENT/lib/scripts/cert_smt.pl"
+CERT_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/cert_smt.pl"
 
 #
 # Paths to local SMT solvers: