diff options
Diffstat (limited to 'Dafny/DafnyPipeline.csproj')
-rw-r--r-- | Dafny/DafnyPipeline.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dafny/DafnyPipeline.csproj b/Dafny/DafnyPipeline.csproj index dfa9e503..7264389b 100644 --- a/Dafny/DafnyPipeline.csproj +++ b/Dafny/DafnyPipeline.csproj @@ -156,6 +156,7 @@ <Compile Include="DafnyMain.cs" />
<Compile Include="DafnyOptions.cs" />
<Compile Include="Printer.cs" />
+ <Compile Include="RefinementTransformer.cs" />
<Compile Include="Resolver.cs" />
<Compile Include="SccGraph.cs" />
<Compile Include="Translator.cs" />
|