diff options
author | mikebarnett <unknown> | 2010-08-27 06:05:49 +0000 |
---|---|---|
committer | mikebarnett <unknown> | 2010-08-27 06:05:49 +0000 |
commit | 472add0311262812bcae6902b8d5d25316f91f77 (patch) | |
tree | d93020ccca49197f1c2b7fd676c6bf98ae503737 /Source/Provers/Z3api/Z3api.csproj | |
parent | 38681e1c890e9ef2cc90307e85c7d6df2578c725 (diff) |
Added a (temporary) CCE file so that Z3Api can build.
Diffstat (limited to 'Source/Provers/Z3api/Z3api.csproj')
-rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index a2f5793c..af8b9324 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -91,6 +91,7 @@ </ProjectReference>
</ItemGroup>
<ItemGroup>
+ <Compile Include="cce.cs" />
<Compile Include="ContextLayer.cs" />
<Compile Include="ProverLayer.cs" />
<Compile Include="SafeContext.cs" />
|