diff options
Diffstat (limited to 'Test/og/FlanaganQadeer.bpl')
-rw-r--r-- | Test/og/FlanaganQadeer.bpl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/og/FlanaganQadeer.bpl b/Test/og/FlanaganQadeer.bpl index 9eb11495..04255cf2 100644 --- a/Test/og/FlanaganQadeer.bpl +++ b/Test/og/FlanaganQadeer.bpl @@ -2,8 +2,8 @@ // RUN: %diff "%s.expect" "%t"
type X;
const nil: X;
-var {:layer 1} l: X;
-var {:layer 1} x: int;
+var {:layer 0,1} l: X;
+var {:layer 0,1} x: int;
function {:builtin "MapConst"} MapConstBool(bool) : [X]bool;
function {:inline} {:linear "tid"} TidCollector(x: X) : [X]bool
|