From 682a34e72274aff3ef4ebcbe54244d1c2ca0ba2f Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 2 Dec 2014 14:04:53 -0800
Subject: Snapshot, to be continued

---
 Test/dafny2/SnapshotableTrees.dfy.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny2')

diff --git a/Test/dafny2/SnapshotableTrees.dfy.expect b/Test/dafny2/SnapshotableTrees.dfy.expect
index d84bdc45..849b9e38 100644
--- a/Test/dafny2/SnapshotableTrees.dfy.expect
+++ b/Test/dafny2/SnapshotableTrees.dfy.expect
@@ -1,4 +1,4 @@
-SnapshotableTrees.dfy(68,16): Error BP5002: A precondition for this call might not hold.
+SnapshotableTrees.dfy(68,24): Error BP5002: A precondition for this call might not hold.
 SnapshotableTrees.dfy(648,16): Related location: This is the precondition that might not hold.
 Execution trace:
     (0,0): anon0
-- 
cgit v1.2.3