summaryrefslogtreecommitdiff
path: root/Util/VS2010/Dafny/StartDafny.bat
diff options
context:
space:
mode:
Diffstat (limited to 'Util/VS2010/Dafny/StartDafny.bat')
-rw-r--r--Util/VS2010/Dafny/StartDafny.bat2
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/VS2010/Dafny/StartDafny.bat b/Util/VS2010/Dafny/StartDafny.bat
index 2313e4d8..71dc149a 100644
--- a/Util/VS2010/Dafny/StartDafny.bat
+++ b/Util/VS2010/Dafny/StartDafny.bat
@@ -3,7 +3,7 @@ echo ---------- Starting ------------ < nul >> c:\tmp\doo.out
time < nul >> c:\tmp\doo.out
echo. < nul >> c:\tmp\doo.out
-"c:/boogie/Binaries/Dafny.exe" -nologo stdin.dfy -compile:0 -timeLimit:10 %* 2>> c:\tmp\doo.out
+"c:\boogie\Binaries\Dafny.exe" -nologo stdin.dfy -compile:0 -timeLimit:10 %* 2>> c:\tmp\doo.out
time < nul >> c:\tmp\doo.out
echo. < nul >> c:\tmp\doo.out