From 575e70d7a165be5dfe207dd2d7dcd764922237da Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Tue, 14 Jan 2014 15:36:29 +0000
Subject: Fix Boogie so it compiled with mono.  Patch by Dan Liew.

---
 Source/Model/Model.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Model/Model.csproj')

diff --git a/Source/Model/Model.csproj b/Source/Model/Model.csproj
index 94eb06d4..c6a1d047 100644
--- a/Source/Model/Model.csproj
+++ b/Source/Model/Model.csproj
@@ -12,7 +12,7 @@
     <AssemblyName>Model</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
-    <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
     <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
-- 
cgit v1.2.3