diff options
author | 2012-07-30 17:22:28 -0700 | |
---|---|---|
committer | 2012-07-30 17:22:28 -0700 | |
commit | c3f4fae804fe07942cc1f0e4fc6e40b2542de645 (patch) | |
tree | ec5ddee8d2d2fa8c520cfe8c7bef199e187d0100 /Test/dafny0/runtest.bat | |
parent | e9534ceb03a09e5524709a6f9112d8c7fb1df711 (diff) |
Dafny: support opening modules into the local scope
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 3b4e6e19..7a836c5a 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -13,7 +13,7 @@ for %%f in (Simple.dfy) do ( for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy
FunctionSpecifications.dfy ResolutionErrors.dfy ParseErrors.dfy
Array.dfy MultiDimArray.dfy NonGhostQuantifiers.dfy AdvancedLHS.dfy
- ModulesCycle.dfy Modules0.dfy Modules1.dfy BadFunction.dfy
+ ModulesCycle.dfy Modules0.dfy Modules1.dfy Modules2.dfy BadFunction.dfy
Comprehensions.dfy Basics.dfy ControlStructures.dfy
Termination.dfy DTypes.dfy ParallelResolveErrors.dfy Parallel.dfy
TypeParameters.dfy Datatypes.dfy
|