diff options
| author |  wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
| commit | 45638021e2d82e5cd16621ce5a0909ba9804eeaf (patch) | |
| tree | 636e917314b62563ab731b794568a9f438f796b6 /Source/Jennisys | |
| parent | 2fa6ad2a4dbf072afd0b99e35c3dc5defedb0ad0 (diff) | |
Updated several project files.
Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
Diffstat (limited to 'Source/Jennisys')
| -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>
|