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/Predication/Predication.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Predication')

diff --git a/Source/Predication/Predication.csproj b/Source/Predication/Predication.csproj
index 83d2ecfd..f1def7a4 100644
--- a/Source/Predication/Predication.csproj
+++ b/Source/Predication/Predication.csproj
@@ -11,7 +11,7 @@
     <AssemblyName>Predication</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
-    <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
     <ProductVersion>12.0.0</ProductVersion>
     <SchemaVersion>2.0</SchemaVersion>
     <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
-- 
cgit v1.2.3