diff options
author | 2014-08-14 17:45:39 -0700 | |
---|---|---|
committer | 2014-08-14 17:45:39 -0700 | |
commit | f6f433a22fe5149eb1726c98cb0b3bfed7e9ffce (patch) | |
tree | 3fc1e358809eb157d6ec3f6039f6781261cd24ff /Source/DafnyDriver | |
parent | 777457959bc063f89e19715d202d71b78576e477 (diff) |
Make arrow types not look like reference types for the resolver
Diffstat (limited to 'Source/DafnyDriver')
0 files changed, 0 insertions, 0 deletions