From d32a9886b7b212284ec4ddbedb73bdf5dc118da8 Mon Sep 17 00:00:00 2001
From: Joao Matos <joao@tritao.eu>
Date: Thu, 1 Sep 2016 16:19:14 +0100
Subject: [PATCH] Added property to set diagnostics level.

---
 src/Core/Diagnostics.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Core/Diagnostics.cs b/src/Core/Diagnostics.cs
index 01da11f8..fb1e0ce9 100644
--- a/src/Core/Diagnostics.cs
+++ b/src/Core/Diagnostics.cs
@@ -30,6 +30,7 @@ namespace CppSharp
 
     public interface IDiagnostics
     {
+        DiagnosticKind Level { get; set; }
         void Emit(DiagnosticInfo info);
         void PushIndent(int level = 4);
         void PopIndent();
@@ -101,7 +102,7 @@ namespace CppSharp
     public class TextDiagnosticPrinter : IDiagnostics
     {
         public Stack<int> Indents;
-        public DiagnosticKind Level;
+        public DiagnosticKind Level { get; set; }
 
         public TextDiagnosticPrinter()
         {