From 9d02026ef4271941b8fa5baad904ea92b11db6fe Mon Sep 17 00:00:00 2001
From: kyessenov <unknown>
Date: Fri, 2 Jul 2010 21:46:37 +0000
Subject: Dafny: added Carrol Morgan's calculator regression test.

---
 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 8913e626..e238f082 100644
--- a/Test/dafny0/runtest.bat
+++ b/Test/dafny0/runtest.bat
@@ -14,7 +14,7 @@ for %%f in (Simple.dfy) do (
 for %%f in (TypeTests.dfy SmallTests.dfy Definedness.dfy Array.dfy
             Modules0.dfy Modules1.dfy BadFunction.dfy
             Termination.dfy Use.dfy DTypes.dfy
-            TypeParameters.dfy Datatypes.dfy SplitExpr.dfy Counter.dfy) do (
+            TypeParameters.dfy Datatypes.dfy SplitExpr.dfy Refinement.dfy) do (
   echo.
   echo -------------------- %%f --------------------
   %DAFNY_EXE% /compile:0 %* %%f
-- 
cgit v1.2.3