From 1f267ac0d7daf434ed4db31d23914428149297bc Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Thu, 14 Jun 2012 13:34:20 -0700
Subject: Dafny: cleaned up test scripts a little

---
 Test/VSComp2010/runtest.bat | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Test/VSComp2010')

diff --git a/Test/VSComp2010/runtest.bat b/Test/VSComp2010/runtest.bat
index 9535d677..63f5df23 100644
--- a/Test/VSComp2010/runtest.bat
+++ b/Test/VSComp2010/runtest.bat
@@ -3,8 +3,6 @@ setlocal
 
 set BOOGIEDIR=..\..\Binaries
 set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe
-set BPLEXE=%BOOGIEDIR%\Boogie.exe
-set CSC=c:/Windows/Microsoft.NET/Framework/v4.0.30319/csc.exe
 
 for %%f in (Problem1-SumMax.dfy Problem2-Invert.dfy
             Problem3-FindZero.dfy Problem4-Queens.dfy
-- 
cgit v1.2.3