From 55b14d3c10686585c6a205974e742d5a67fe7d07 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 11 Aug 2011 18:08:16 +0200
Subject: Dafny: Fixed a bug in the printer that led to a stack overflow.

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

(limited to 'Test/dafny0/runtest.bat')

diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat
index 8aaa143b..bfa88b54 100644
--- a/Test/dafny0/runtest.bat
+++ b/Test/dafny0/runtest.bat
@@ -23,5 +23,5 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy
             CallStmtTests.dfy MultiSets.dfy) do (
   echo.
   echo -------------------- %%f --------------------
-  %DAFNY_EXE% /compile:0 %* %%f
+  %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
 )
-- 
cgit v1.2.3