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/ModelViewer/ModelViewer.csproj | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj
index ae46767b..46f80673 100644
--- a/Source/ModelViewer/ModelViewer.csproj
+++ b/Source/ModelViewer/ModelViewer.csproj
@@ -97,6 +97,8 @@
     <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
     <CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
     <CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
+    <WarningLevel>4</WarningLevel>
+    <Optimize>false</Optimize>
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="System" />
@@ -123,6 +125,7 @@
       <DependentUpon>Main.cs</DependentUpon>
     </Compile>
     <Compile Include="..\Model\Model.cs" />
+	<Compile Include="..\Model\ModelParser.cs" />
     <Compile Include="Namer.cs" />
     <Compile Include="Program.cs" />
     <Compile Include="Properties\AssemblyInfo.cs" />
-- 
cgit v1.2.3