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 cf2b51eb..14ff3348 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -151,6 +151,7 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="Util.cs" />
<Compile Include="Compiler.cs" />
<Compile Include="DafnyAst.cs" />
<Compile Include="DafnyMain.cs" />
|