diff options
Diffstat (limited to 'Source/Provers')
-rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 4 | ||||
-rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 4 | ||||
-rw-r--r-- | Source/Provers/Simplify/Simplify.csproj | 4 | ||||
-rw-r--r-- | Source/Provers/Z3/Z3.csproj | 4 |
4 files changed, 8 insertions, 8 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index c98dd252..06cdb145 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -85,8 +85,8 @@ <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
<Name>Core</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 8a4846c0..5e8e8b46 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -97,8 +97,8 @@ <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
<Name>Core</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/Provers/Simplify/Simplify.csproj b/Source/Provers/Simplify/Simplify.csproj index db0929c3..60f582ec 100644 --- a/Source/Provers/Simplify/Simplify.csproj +++ b/Source/Provers/Simplify/Simplify.csproj @@ -94,8 +94,8 @@ <Project>{4C28FB90-630E-4B55-A937-11A011B79765}</Project>
<Name>Graph</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj index dc4565fe..cc84ec98 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -95,8 +95,8 @@ <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
<Name>Core</Name>
</ProjectReference>
- <ProjectReference Include="..\..\VCExpr\VCExpr.sscproj">
- <Project>{CF42B700-10AA-4DA9-8992-48A800251C11}</Project>
+ <ProjectReference Include="..\..\VCExpr\VCExpr.csproj">
+ <Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
</ProjectReference>
<ProjectReference Include="..\..\VCGeneration\VCGeneration.csproj">
|