diff options
| author |  Jason Koenig <unknown> | 2011-06-29 18:21:36 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-06-29 18:21:36 -0700 |
| commit | f233666f5f1eb7a58fd10ae6d92daafa521492f8 (patch) | |
| tree | 06dad6481f02496acb6d5c0fc94227a5ab853f7e /Test/dafny0/ReturnTests.dfy | |
| parent | e6c448b6b8091957439c456394bd78843f97c9f4 (diff) | |
Removed tab characters.
Diffstat (limited to 'Test/dafny0/ReturnTests.dfy')
| -rw-r--r-- | Test/dafny0/ReturnTests.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/ReturnTests.dfy b/Test/dafny0/ReturnTests.dfy index a4d7fca0..ee60bc72 100644 --- a/Test/dafny0/ReturnTests.dfy +++ b/Test/dafny0/ReturnTests.dfy @@ -7,7 +7,7 @@ class N modifies this, n;
{
n.i := 1;
- i := 1;
+ i := 1;
}
method safe(n: N)
requires n != null;
|