diff options
| author |  CodeplexBot <unknown> | 2011-12-23 08:07:23 +0100 |
|---|---|---|
| committer | CodeplexBot <unknown> | 2011-12-23 08:07:23 +0100 |
| commit | 9af8445de79c5e6f8e46d13ddada144547d645ca (patch) | |
| tree | 8c79fad3c9484e806175ccdc763e953c1abcc320 /Test/test20/TypeSynonyms0.bpl | |
| parent | b07a60593b867c2b06c6044bea49380199a9eac9 (diff) | |
Boogie build succeeded
Diffstat (limited to 'Test/test20/TypeSynonyms0.bpl')
0 files changed, 0 insertions, 0 deletions