diff options
Diffstat (limited to 'Source/Provers/Isabelle/Isabelle.csproj')
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index bcf367b7..e48b0fa7 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -69,6 +69,7 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="cce.cs" />
<Compile Include="Prover.cs" />
<Compile Include="..\..\version.cs" />
</ItemGroup>
|