diff options
Diffstat (limited to 'Test/dafny0/IteratorResolution.dfy')
| -rw-r--r-- | Test/dafny0/IteratorResolution.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/IteratorResolution.dfy b/Test/dafny0/IteratorResolution.dfy index 366cdfcc..aec38387 100644 --- a/Test/dafny0/IteratorResolution.dfy +++ b/Test/dafny0/IteratorResolution.dfy @@ -31,7 +31,7 @@ module Mx { }
}
- static method StaticM(k: nat) returns (m: int)
+ method StaticM(k: nat) returns (m: int)
{
m := k;
}
|