diff options
| author |  Unknown <afd@afd-THINK> | 2012-07-10 10:20:37 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-07-10 10:20:37 +0100 |
| commit | 8ef2d352b954540b756bb17d4c900a862509e094 (patch) | |
| tree | 6a6ebbe688a061b9655b5f0a9b2c05f60ca70559 /Source/Dafny/Dafny.atg | |
| parent | c757bfe9384894a755492a0f852ede120717d74a (diff) | |
Read and write logging variables are now only generated if they do not already exist.
Diffstat (limited to 'Source/Dafny/Dafny.atg')
0 files changed, 0 insertions, 0 deletions