From b710e62f37b8cdae80d9bb33a25fc38141980132 Mon Sep 17 00:00:00 2001
From: Joao Matos <joao@tritao.eu>
Date: Wed, 24 Aug 2016 19:06:04 +0100
Subject: [PATCH] Added a default indentation level to
 IDiagnostics.Push/PopIndent.

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

diff --git a/src/Core/Diagnostics.cs b/src/Core/Diagnostics.cs
index 10fdc531..01da11f8 100644
--- a/src/Core/Diagnostics.cs
+++ b/src/Core/Diagnostics.cs
@@ -31,7 +31,7 @@ namespace CppSharp
     public interface IDiagnostics
     {
         void Emit(DiagnosticInfo info);
-        void PushIndent(int level);
+        void PushIndent(int level = 4);
         void PopIndent();
     }