diff options
author | 2012-07-06 13:58:31 -0700 | |
---|---|---|
committer | 2012-07-06 13:58:31 -0700 | |
commit | 68226762bab879cb8ba5b0fc456359682565a4b9 (patch) | |
tree | abdc0fbb5d8050713cce2890e64f20dc1956278b /_admin/Boogie/aste | |
parent | 0dbff05a81137f327080fe16120acdb033903971 (diff) |
Dafny: types can now be qualified with full module paths
Diffstat (limited to '_admin/Boogie/aste')
0 files changed, 0 insertions, 0 deletions