diff options
| author |  MichalMoskal <unknown> | 2010-12-02 01:41:53 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-02 01:41:53 +0000 |
| commit | e9421952b59af7ba330c0b8fe65a3382181477ca (patch) | |
| tree | d2f51bff196377b859f8c4f9eb7652e396dc4901 /Source/Dafny | |
| parent | 43cdc44acb2f535b44f0d99f65048237488a2528 (diff) | |
Get rid of F# dependencies - use System.Numerics and a custom Rational structure instead
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index a93dffe1..a4206998 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -34,7 +34,8 @@ <IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
- <TargetFrameworkProfile />
+ <TargetFrameworkProfile>
+ </TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -97,19 +98,12 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\Binaries\Core.dll</HintPath>
</Reference>
- <Reference Include="FSharp.Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\FSharp.Core.dll</HintPath>
- </Reference>
- <Reference Include="FSharp.PowerPack, Version=1.9.9.9, Culture=neutral, PublicKeyToken=a19089b1c74d0809, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\FSharp.PowerPack.dll</HintPath>
- </Reference>
<Reference Include="System" />
<Reference Include="System.Core">
<RequiredTargetFramework>3.5</RequiredTargetFramework>
</Reference>
<Reference Include="System.Data" />
+ <Reference Include="System.Numerics" />
<Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
|