diff options
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.csproj')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 03bca2ee..96da0f8b 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -105,14 +105,11 @@ <Compile Include="..\version.cs" />
</ItemGroup>
<ItemGroup>
- <ProjectReference Include="..\Dafny\DafnyPipeline.sscproj">
- <Project>{DEAD83C6-1510-4AF9-8F7D-C837DDBB2632}</Project>
- <Name>Dafny</Name>
+ <ProjectReference Include="..\Dafny\DafnyPipeline.csproj">
+ <Project>{FE44674A-1633-4917-99F4-57635E6FA740}</Project>
+ <Name>DafnyPipeline</Name>
</ProjectReference>
</ItemGroup>
- <ItemGroup>
- <Folder Include="Properties\" />
- </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
|