From 33be7e9826a9c6aaf72bcba82d349266d8f94d9c Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Thu, 20 Jun 2013 18:44:27 -0700
Subject: Beefed up axioms about cardinality and the empty (multi)set, which
 fixes Issue 17 on dafny.codeplex.com. Added information that allows multiset
 members to be unboxed as needed (mimicking what was already done for sets).

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

(limited to 'Test/vstte2012')

diff --git a/Test/vstte2012/runtest.bat b/Test/vstte2012/runtest.bat
index 3fffb577..ecccd929 100644
--- a/Test/vstte2012/runtest.bat
+++ b/Test/vstte2012/runtest.bat
@@ -13,5 +13,5 @@ for %%f in (
   ) do (
   echo.
   echo -------------------- %%f --------------------
-  %DAFNY_EXE% /compile:0 /vcsMaxKeepGoingSplits:2 /dprint:out.dfy.tmp %* %%f
+  %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
 )
-- 
cgit v1.2.3