diff options
Diffstat (limited to 'Test/dafny0/runtest.bat')
| -rw-r--r-- | Test/dafny0/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat index fd90e479..c43ea782 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -17,7 +17,7 @@ for %%f in (BQueue.bpl) do ( %BPLEXE% %* %%f
)
-for %%f in (TypeTests.dfy SmallTests.dfy Definedness.dfy
+for %%f in (TypeTests.dfy SmallTests.dfy Definedness.dfy Array.dfy
Modules0.dfy Modules1.dfy BadFunction.dfy Queue.dfy ListCopy.dfy
BinaryTree.dfy ListReverse.dfy ListContents.dfy
SchorrWaite.dfy Termination.dfy Use.dfy DTypes.dfy
|