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/vstte2012/runtest.bat | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Test/vstte2012')

diff --git a/Test/vstte2012/runtest.bat b/Test/vstte2012/runtest.bat
index 770f41dc..7f7c9b9f 100644
--- a/Test/vstte2012/runtest.bat
+++ b/Test/vstte2012/runtest.bat
@@ -3,7 +3,6 @@ setlocal
 
 set BOOGIEDIR=..\..\Binaries
 set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe
-set CSC=c:/Windows/Microsoft.NET/Framework/v4.0.30319/csc.exe
 
 for %%f in (
     Two-Way-Sort.dfy
-- 
cgit v1.2.3