From 5e70254714df8e3a7db1532f283a89a515a96f12 Mon Sep 17 00:00:00 2001
From: pantazis <pdeligia@me.com>
Date: Wed, 12 Jun 2013 03:19:31 +0100
Subject: CVC4 Parser

---
 Source/ParserHelper/ParserHelper.csproj | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source/ParserHelper')

diff --git a/Source/ParserHelper/ParserHelper.csproj b/Source/ParserHelper/ParserHelper.csproj
index cd665a75..f8155b61 100644
--- a/Source/ParserHelper/ParserHelper.csproj
+++ b/Source/ParserHelper/ParserHelper.csproj
@@ -99,6 +99,8 @@
     <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
     <CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
     <CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
+    <WarningLevel>4</WarningLevel>
+    <Optimize>false</Optimize>
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="System" />
-- 
cgit v1.2.3