From 5558ba719abd8c9f6184e9d1b70afccfec649a6d Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Thu, 4 Oct 2012 19:26:54 -0700
Subject: Fixed some goof-ups in the test script edits Changed the test output
 to make it easier to spot (in the console output) that everything passed with
 success or if there were any failures

---
 Test/dafny1/runtest.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny1')

diff --git a/Test/dafny1/runtest.bat b/Test/dafny1/runtest.bat
index 60b562d0..467bedca 100644
--- a/Test/dafny1/runtest.bat
+++ b/Test/dafny1/runtest.bat
@@ -2,7 +2,7 @@
 setlocal
 
 set BINARIES=..\..\Binaries
-set DAFNY_EXE=%BINARIES\Dafny.exe
+set DAFNY_EXE=%BINARIES%\Dafny.exe
 
 for %%f in (Queue.dfy PriorityQueue.dfy
             ExtensibleArray.dfy ExtensibleArrayAuto.dfy
-- 
cgit v1.2.3