diff options
author | Dan Rosén <danr@chalmers.se> | 2014-08-14 17:45:01 -0700 |
---|---|---|
committer | Dan Rosén <danr@chalmers.se> | 2014-08-14 17:45:01 -0700 |
commit | 777457959bc063f89e19715d202d71b78576e477 (patch) | |
tree | 9d502dfacb381e92d90efb0d95d929d9f86c9b1b /Source/Dafny/Resolver.cs | |
parent | 81c5bc678b560f25ad84f8575fac3371a5534606 (diff) |
Optimise ApplyExpr to FunctionCallExpr when possible in translator
Diffstat (limited to 'Source/Dafny/Resolver.cs')
0 files changed, 0 insertions, 0 deletions