diff options
| author |  qadeer <unknown> | 2014-07-16 08:10:06 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-07-16 08:10:06 -0700 |
| commit | b47e73976eb91341609f94370722183771c613b7 (patch) | |
| tree | 864cf4b1ae0ecfd576885a90ce02644d91040e74 /Test/og/Program4.bpl | |
| parent | 5d3687f9a37b31062f92c4b405bae5a173c7fa76 (diff) | |
some clean up
Diffstat (limited to 'Test/og/Program4.bpl')
| -rw-r--r-- | Test/og/Program4.bpl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Test/og/Program4.bpl b/Test/og/Program4.bpl index d189ee44..5005f77c 100644 --- a/Test/og/Program4.bpl +++ b/Test/og/Program4.bpl @@ -13,11 +13,9 @@ function {:inline} {:linear "tid"} TidSetCollector(x: [Tid]bool) : [Tid]bool x
}
-var {:linear "tid"} {:phase 1} alloc:[Tid]bool;
var {:phase 1} a:[Tid]int;
procedure Allocate() returns ({:linear "tid"} tid:Tid);
-modifies alloc;
procedure {:yields} {:phase 1} main() {
var {:linear "tid"} tid:Tid;
|