diff options
| author |  qadeer <unknown> | 2010-08-03 02:11:39 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-08-03 02:11:39 +0000 |
| commit | 98b8a24cbf9ba3ce3b19f4dee90b4e98246bfb18 (patch) | |
| tree | 64a7c09abedbfe8fdf025f2c1a967e5813b1bd94 /DafnyDriver | |
| parent | 08323006446b11583c70b6b80a108a78d83f3637 (diff) | |
fixed path to the binaries directory; there was an extra .."
Diffstat (limited to 'DafnyDriver')
| -rw-r--r-- | DafnyDriver/DafnyDriver.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/DafnyDriver/DafnyDriver.csproj b/DafnyDriver/DafnyDriver.csproj index 92c1175c..03bca2ee 100644 --- a/DafnyDriver/DafnyDriver.csproj +++ b/DafnyDriver/DafnyDriver.csproj @@ -81,16 +81,16 @@ </Reference>
<Reference Include="Microsoft.SpecSharp, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\..\Binaries\Microsoft.SpecSharp.dll</HintPath>
+ <HintPath>..\..\Binaries\Microsoft.SpecSharp.dll</HintPath>
</Reference>
<Reference Include="System" />
<Reference Include="System.Compiler, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\..\Binaries\System.Compiler.dll</HintPath>
+ <HintPath>..\..\Binaries\System.Compiler.dll</HintPath>
</Reference>
<Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\..\Binaries\System.Compiler.Runtime.dll</HintPath>
+ <HintPath>..\..\Binaries\System.Compiler.Runtime.dll</HintPath>
</Reference>
<Reference Include="System.Data" />
<Reference Include="System.Xml" />
|