From a7f872a71b1be2b9677add91c8366ee27e345856 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Mon, 15 Dec 2014 10:25:19 -0800
Subject: patched an expected output

---
 Test/og/termination.bpl.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test')

diff --git a/Test/og/termination.bpl.expect b/Test/og/termination.bpl.expect
index ab90b536..d216a01d 100644
--- a/Test/og/termination.bpl.expect
+++ b/Test/og/termination.bpl.expect
@@ -1,3 +1,3 @@
-termination.bpl(9,31): Error: Implementation main fails simulation check C at phase 1. Transactions must be separated by a yield.
+termination.bpl(9,31): Error: Implementation main fails simulation check C at layer 1. Transactions must be separated by a yield.
 
 1 type checking errors detected in termination.bpl
-- 
cgit v1.2.3