diff options
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.csproj')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.csproj b/Source/ExecutionEngine/ExecutionEngine.csproj index a614da12..91f13ed4 100644 --- a/Source/ExecutionEngine/ExecutionEngine.csproj +++ b/Source/ExecutionEngine/ExecutionEngine.csproj @@ -40,6 +40,7 @@ <ItemGroup>
<Compile Include="ExecutionEngine.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
+ <Compile Include="VerificationResultCache.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AbsInt\AbsInt.csproj">
|