From e037ca99cdc163ca43690aaef3c380ebc1ce1962 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Mon, 26 Oct 2015 21:12:35 -0700
Subject: fixed

---
 Test/linear/typecheck.bpl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Test/linear/typecheck.bpl')

diff --git a/Test/linear/typecheck.bpl b/Test/linear/typecheck.bpl
index b4f784d3..c3c294c9 100644
--- a/Test/linear/typecheck.bpl
+++ b/Test/linear/typecheck.bpl
@@ -89,11 +89,14 @@ modifies g;
 
 procedure {:yields} {:layer 0} I({:linear_in ""} x:int) returns({:linear ""} x':int)
 {
+  yield;
   x' := x;
+  yield;
 }
 
 procedure {:yields} {:layer 0} J()
 {
+  yield;
 }
 
 procedure {:yields} {:layer 1} P1({:linear_in ""} x:int) returns({:linear ""} x':int)
-- 
cgit v1.2.3