diff options
author | wuestholz <unknown> | 2015-10-08 19:42:49 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2015-10-08 19:42:49 +0200 |
commit | eaf726c56d304e3a9e969112b5f403269a244234 (patch) | |
tree | 02b1a402b4a75954b9448722b3d740afdeef20c0 /Source/DafnyExtension | |
parent | c5094e85c027730aa0ef6466766a8e5c99d83c11 (diff) |
DafnyExtension: Re-added assembly reference.
Diffstat (limited to 'Source/DafnyExtension')
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index f7c7c650..08040853 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -184,6 +184,7 @@ <Reference Include="System" />
<Reference Include="System.ComponentModel.Composition" />
<Reference Include="System.Core" />
+ <Reference Include="System.Xaml" />
<Reference Include="WindowsBase" />
</ItemGroup>
<ItemGroup>
|