From 7a718d4e07a20804f73c494d4b095fd9cf9c331a Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 9 Nov 2013 14:57:45 +0000
Subject: [PATCH] fixed tabs

---
 src/util/mpn.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpn.h b/src/util/mpn.h
index f8ae1eabf..219368de3 100644
--- a/src/util/mpn.h
+++ b/src/util/mpn.h
@@ -101,7 +101,7 @@ private:
     bool div_n(mpn_sbuffer & numer, mpn_sbuffer const & denom,
                mpn_digit * quot, mpn_digit * rem);
 
-	#ifdef Z3DEBUG
+    #ifdef Z3DEBUG
     mutable char char_buf[4096];
     bool trace_enabled;
     #endif