diff options
Diffstat (limited to 'Dafny/DafnyPipeline.sscproj')
| -rw-r--r-- | Dafny/DafnyPipeline.sscproj | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Dafny/DafnyPipeline.sscproj b/Dafny/DafnyPipeline.sscproj index 38ff8646..e9c025fc 100644 --- a/Dafny/DafnyPipeline.sscproj +++ b/Dafny/DafnyPipeline.sscproj @@ -72,6 +72,21 @@ Private="false"
HintPath="../Core/bin/Debug/Core.dll"
/>
+ <Reference Name="FSharp.Core"
+ AssemblyName="FSharp.Core"
+ Private="true"
+ HintPath="../../Binaries/FSharp.Core.dll"
+ />
+ <Reference Name="FSharp.PowerPack"
+ AssemblyName="FSharp.PowerPack"
+ Private="true"
+ HintPath="../../Binaries/FSharp.PowerPack.dll"
+ />
+ <Reference Name="Basetypes"
+ AssemblyName="Basetypes"
+ Private="true"
+ HintPath="../Basetypes/bin/debug/Basetypes.dll"
+ />
</References>
</Build>
<Files>
|