diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-06-16 15:02:55 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-06-16 15:02:55 -0700 |
| commit | 379f88f77fbb86a4be9eac6825c7a9c1aabb2316 (patch) | |
| tree | d4097db5792746da75aa7271b6b4bc72f773d6d8 /Source/Dafny/Rewriter.cs | |
| parent | 838c51d897d9daec2ee7b50a40b78c96cbfbf605 (diff) | |
System.Collections.Immutable.dll is now stored in the Binaries directory and copied to the output directory when the /optimize flag is used.
Diffstat (limited to 'Source/Dafny/Rewriter.cs')
0 files changed, 0 insertions, 0 deletions