From 854acf0f7f5aa105500c6d0ee0fcf0d4c918a81e Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Sat, 14 Nov 2015 14:50:26 -0800
Subject: Fix issue 94. Allow tuple-based assignment in statement contexts.

---
 Test/server/simple-session.transcript.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/server')

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]]
 
-- 
cgit v1.2.3