diff options
| author |  qunyanm <unknown> | 2015-11-14 14:50:26 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-11-14 14:50:26 -0800 |
| commit | 854acf0f7f5aa105500c6d0ee0fcf0d4c918a81e (patch) | |
| tree | 782088f9c132efca00ff8b042d4cf32f41bbf82d /Test/server | |
| parent | cfd717411a1d82e4d0b1ad845cbe0984ecc1618f (diff) | |
Fix issue 94. Allow tuple-based assignment in statement contexts.
Diffstat (limited to 'Test/server')
| -rw-r--r-- | Test/server/simple-session.transcript.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/server/simple-session.transcript.expect b/Test/server/simple-session.transcript.expect index 91429d8e..1aadca7f 100644 --- a/Test/server/simple-session.transcript.expect +++ b/Test/server/simple-session.transcript.expect @@ -136,7 +136,7 @@ Retrieving cached verification result for implementation Impl$$_module.__default [0 proof obligations] verified
Verification completed successfully! [SUCCESS] [[DAFNY-SERVER: EOM]] -transcript(7,0): Error: ident expected
+transcript(7,0): Error: invalid VarDeclStatement
Verification completed successfully! [SUCCESS] [[DAFNY-SERVER: EOM]] |