From 2d5a393b81ef2b389278f161460a1f98719c0aa6 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Thu, 4 Oct 2012 00:41:44 -0700
Subject: Dafny: fixed merge

---
 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 fa7f7c70..a49bbf9a 100644
--- a/Test/dafny1/runtest.bat
+++ b/Test/dafny1/runtest.bat
@@ -19,5 +19,5 @@ for %%f in (Queue.dfy PriorityQueue.dfy
             UltraFilter.dfy) do (
   echo.
   echo -------------------- %%f --------------------
-  %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
+  %DAFNY_EXE% /compile:0 /vcsMaxKeepGoingSplits:2 /dprint:out.dfy.tmp %* %%f
 )
-- 
cgit v1.2.3