summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar qadeer <unknown>2010-08-03 02:11:39 +0000
committerGravatar qadeer <unknown>2010-08-03 02:11:39 +0000
commit5bf9a8e98c0f70590a02a8ea7f622d9627dea419 (patch)
treeabf244845d1a89680afd31dc1ad8818e887ba187 /Source
parent28ce0611b6365509f78549f36f505de5fa41ce32 (diff)
fixed path to the binaries directory; there was an extra .."
Diffstat (limited to 'Source')
-rw-r--r--Source/BoogieDriver/BoogieDriver.csproj8
-rw-r--r--Source/DafnyDriver/DafnyDriver.csproj6
2 files changed, 7 insertions, 7 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 3a6f44ab..81ca8585 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -66,20 +66,20 @@
<Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
<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.Framework, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\..\Binaries\System.Compiler.Framework.dll</HintPath>
+ <HintPath>..\..\Binaries\System.Compiler.Framework.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" />
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj
index 92c1175c..03bca2ee 100644
--- a/Source/DafnyDriver/DafnyDriver.csproj
+++ b/Source/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" />