diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.csproj')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 2478a7d4..9f71e5bd 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -230,6 +230,10 @@ <Project>{884386a3-58e9-40bb-a273-b24976775553}</Project>
<Name>Doomed</Name>
</ProjectReference>
+ <ProjectReference Include="..\ExecutionEngine\ExecutionEngine.csproj">
+ <Project>{eaa5eb79-d475-4601-a59b-825c191cd25f}</Project>
+ <Name>ExecutionEngine</Name>
+ </ProjectReference>
<ProjectReference Include="..\Graph\Graph.csproj">
<Project>{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}</Project>
<Name>Graph</Name>
|