From f92c4cb984a477d3381fc7cd1b77c501cca8462c Mon Sep 17 00:00:00 2001
From: John Regehr <regehr@cs.utah.edu>
Date: Mon, 31 Oct 2011 14:40:41 -0600
Subject: [PATCH] Don't look for VOLATILE_PATH, we don't care about it any
 longer.

---
 utah/scripts/reduce/simple_delta.pl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/utah/scripts/reduce/simple_delta.pl b/utah/scripts/reduce/simple_delta.pl
index d0bb20d56..11284c072 100755
--- a/utah/scripts/reduce/simple_delta.pl
+++ b/utah/scripts/reduce/simple_delta.pl
@@ -19,10 +19,10 @@
 my $CSMITH_HOME = $ENV{"CSMITH_HOME"};
 die "please set CSMITH_HOME env first!" if (!defined($CSMITH_HOME));
 
-my $VOLATILE = $ENV{"VOLATILE_HOME"};
-die "please set VOLATILE_HOME env first!" if (!defined($VOLATILE));
+#my $VOLATILE = $ENV{"VOLATILE_HOME"};
+#die "please set VOLATILE_HOME env first!" if (!defined($VOLATILE));
 
-$ENV{"PATH"} = "$ENV{VOLATILE_HOME}:$ENV{PATH}";
+#$ENV{"PATH"} = "$ENV{VOLATILE_HOME}:$ENV{PATH}";
 
 my $COMPILER_TIMEOUT = 600;
 my $PROG_TIMEOUT = 2;