diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-15 18:48:02 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-15 18:48:02 -0800 |
| commit | 73b9d30f3b18425e52ef80453977d8608a1db09b (patch) | |
| tree | b2b98d7ba6846bee0a6c8f4a22e67eb620d493d8 /Source/Dafny/DafnyPipeline.csproj | |
| parent | 78160fbd9492cf88e620a859a405fe9a49a09c54 (diff) | |
Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLineOptions to separate the options that belong to these 3 tools.
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index 40a8cacc..dfa9e503 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -154,6 +154,7 @@ <Compile Include="Compiler.cs" />
<Compile Include="DafnyAst.cs" />
<Compile Include="DafnyMain.cs" />
+ <Compile Include="DafnyOptions.cs" />
<Compile Include="Printer.cs" />
<Compile Include="Resolver.cs" />
<Compile Include="SccGraph.cs" />
|