From 223d3d98b80519f936cbdcc6ca31cdd2819bd900 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Wed, 2 Dec 2015 08:18:51 -0800
Subject: Update the test .expect files since the line number info is fixed
 with boogie merge #24

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

(limited to 'Test/wishlist')

diff --git a/Test/wishlist/calc.dfy.expect b/Test/wishlist/calc.dfy.expect
index 1d5a55a6..9e4e7b44 100644
--- a/Test/wishlist/calc.dfy.expect
+++ b/Test/wishlist/calc.dfy.expect
@@ -1,4 +1,4 @@
-(0,-1): Error BP5003: A postcondition might not hold on this return path.
+calc.dfy(8,16): Error BP5003: A postcondition might not hold on this return path.
 calc.dfy(8,10): Related location: This is the postcondition that might not hold.
 Execution trace:
     (0,0): anon0
-- 
cgit v1.2.3