From eaf726c56d304e3a9e969112b5f403269a244234 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 8 Oct 2015 19:42:49 +0200
Subject: DafnyExtension: Re-added assembly reference.

---
 Source/DafnyExtension/DafnyExtension.csproj | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/DafnyExtension')

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>
-- 
cgit v1.2.3