From a4af24114ae44ee34246fdc8bd16ce05d5518c20 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Thu, 4 Oct 2012 18:58:20 -0700
Subject: Added Test/dafny3 and another test file for iterators (hey, you can
 even run Iter.dfy!) Fixed migration issues

---
 Test/VSI-Benchmarks/runtest.bat | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/VSI-Benchmarks')

diff --git a/Test/VSI-Benchmarks/runtest.bat b/Test/VSI-Benchmarks/runtest.bat
index f5b9d1b9..8f6dfc40 100644
--- a/Test/VSI-Benchmarks/runtest.bat
+++ b/Test/VSI-Benchmarks/runtest.bat
@@ -1,8 +1,8 @@
 @echo off
 setlocal
 
-set BOOGIEDIR=..\..\Binaries
-set DAFNY_EXE=%BOOGIEDIR%\Dafny.exe
+set BINARIES=..\..\Binaries
+set DAFNY_EXE=%BINARIES\Dafny.exe
 
 for %%f in (b1.dfy b2.dfy b3.dfy b4.dfy b5.dfy b6.dfy b7.dfy b8.dfy) do (
   echo.
-- 
cgit v1.2.3