From 68a39909f93535ad4d091fce647d8a0e8539508f Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Sun, 3 Mar 2013 22:43:56 -0800
Subject: fixed bugs in both parallel calls and linear stuff (reported by
 Chris) also added improved error reporting suggested by Chris

---
 Test/og/parallel2.bpl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Test/og/parallel2.bpl')

diff --git a/Test/og/parallel2.bpl b/Test/og/parallel2.bpl
index 444b9805..f2d45204 100644
--- a/Test/og/parallel2.bpl
+++ b/Test/og/parallel2.bpl
@@ -32,4 +32,5 @@ ensures old(a)[i] == a[i];
 {
     assume i == i';
     yield;
+    assert old(a)[i] == a[i];
 }
\ No newline at end of file
-- 
cgit v1.2.3