src/HOL/Tools/SMT/lib/scripts/remote_smt

--- a/src/HOL/Tools/SMT/lib/scripts/remote_smt	Tue Jan 04 15:46:38 2011 -0800
+++ b/src/HOL/Tools/SMT/lib/scripts/remote_smt	Thu Jan 06 17:51:56 2011 +0100
@@ -21,7 +21,7 @@
 my $agent = LWP::UserAgent->new;
 $agent->agent("SMT-Request");
 $agent->timeout(180);
-my $response = $agent->post($ENV{"REMOTE_SMT_URL"}, [
+my $response = $agent->post($ENV{"ISABELLE_SMT_REMOTE_URL"}, [
   "Solver" => $solver,
   "Options" => join(" ", @options),
   "Problem" => [$problem_file] ],