From 41ca5479952fc4dfaec72978a72327f2d534eee6 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Sun, 20 Sep 2015 21:57:39 -0700
Subject: Adjusted (corrected, I think) test output

---
 Test/dafny1/MoreInduction.dfy.expect | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Test/dafny1')

diff --git a/Test/dafny1/MoreInduction.dfy.expect b/Test/dafny1/MoreInduction.dfy.expect
index 7da5e2ec..5de0ace6 100644
--- a/Test/dafny1/MoreInduction.dfy.expect
+++ b/Test/dafny1/MoreInduction.dfy.expect
@@ -1,6 +1,5 @@
 MoreInduction.dfy(78,0): Error BP5003: A postcondition might not hold on this return path.
 MoreInduction.dfy(77,10): Related location: This is the postcondition that might not hold.
-MoreInduction.dfy(77,32): Related location
 Execution trace:
     (0,0): anon0
 MoreInduction.dfy(83,0): Error BP5003: A postcondition might not hold on this return path.
@@ -9,7 +8,6 @@ Execution trace:
     (0,0): anon0
 MoreInduction.dfy(88,0): Error BP5003: A postcondition might not hold on this return path.
 MoreInduction.dfy(87,10): Related location: This is the postcondition that might not hold.
-MoreInduction.dfy(87,43): Related location
 Execution trace:
     (0,0): anon0
 MoreInduction.dfy(93,0): Error BP5003: A postcondition might not hold on this return path.
-- 
cgit v1.2.3