diff options
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" />
|