diff options
Diffstat (limited to 'Source/Jennisys/Jennisys.fsproj')
-rw-r--r-- | Source/Jennisys/Jennisys.fsproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Jennisys/Jennisys.fsproj b/Source/Jennisys/Jennisys.fsproj index 2215ba83..36ce3a47 100644 --- a/Source/Jennisys/Jennisys.fsproj +++ b/Source/Jennisys/Jennisys.fsproj @@ -93,7 +93,7 @@ <Reference Include="System.Numerics" />
</ItemGroup>
<ItemGroup>
- <ProjectReference Include="..\..\..\..\boogie\Source\Model\Model.csproj">
+ <ProjectReference Include="..\..\..\boogie\Source\Model\Model.csproj">
<Name>Model</Name>
<Project>{acef88d5-dadd-46da-bae1-2144d63f4c83}</Project>
<Private>True</Private>
|