diff options
| author |  qadeer <unknown> | 2013-12-19 13:45:59 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2013-12-19 13:45:59 -0800 |
| commit | 2108194bc0fc2b69c3a5a738fc80b95900d50be6 (patch) | |
| tree | e0ca6d263178e11ec03a94698ba5b62a9c9d431d /Test/og/lock.bpl | |
| parent | 5524f179d2b3b89c2eaf7b4c913653dab48648ae (diff) | |
various updates and tighter integration of QED stuff into mainline
Diffstat (limited to 'Test/og/lock.bpl')
| -rw-r--r-- | Test/og/lock.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/og/lock.bpl b/Test/og/lock.bpl index 4e4e6dec..c00560fe 100644 --- a/Test/og/lock.bpl +++ b/Test/og/lock.bpl @@ -1,4 +1,4 @@ -var b: bool;
+var {:qed} b: bool;
procedure {:yields} {:entrypoint} main()
{
|