1 files changed, 23 insertions, 23 deletions

diff --git a/src/stable/trace.cpp b/src/stable/trace.cpp
index c072fd9..2b3b863 100644
--- a/src/stable/trace.cpp
+++ b/src/stable/trace.cpp
@@ -9,59 +9,59 @@
 
 void Bu::__tracer( const char *pf )
 {
-        printf("trace: %s\n", pf );
+    printf("trace: %s\n", pf );
 }
 
 template<> void Bu::__tracer_format<float>( const float &v )
 {
-        printf("%f", v );
+    printf("%f", v );
 }
 
 template<> void Bu::__tracer_format<double>( const double &v )
 {
-        printf("%f", v );
+    printf("%f", v );
 }
 
 template<> void Bu::__tracer_format<void *>( void * const &v )
 {
-        printf("0x%08X", (ptrdiff_t)v );
+    printf("0x%08X", (ptrdiff_t)v );
 }
 
 template<> void Bu::__tracer_format<char *>( char * const &v )
 {
-        printf("\"%s\"", v );
+    printf("\"%s\"", v );
 }
 
 template<> void Bu::__tracer_format<char **>( char ** const &v )
 {
-        printf("[");
-        for( int j = 0; v[j]; j++ )
-        {
-                if( j > 0 )
-                        printf(", ");
-                printf("\"%s\"", v[j] );
-        }
-        printf("]");
+    printf("[");
+    for( int j = 0; v[j]; j++ )
+    {
+        if( j > 0 )
+            printf(", ");
+        printf("\"%s\"", v[j] );
+    }
+    printf("]");
 }
 
 template<> void Bu::__tracer_format<void const *>( void const * const &v )
 {
-        printf("0x%08X", (ptrdiff_t)v );
+    printf("0x%08X", (ptrdiff_t)v );
 }
 
 template<> void Bu::__tracer_format<char const *>( char const * const &v )
 {
-        printf("\"%s\"", v );
+    printf("\"%s\"", v );
 }
 
 template<> void Bu::__tracer_format<char const **>( char const ** const &v )
 {
-        printf("[");
-        for( int j = 0; v[j]; j++ )
-        {
-                if( j > 0 )
-                        printf(", ");
-                printf("\"%s\"", v[j] );
-        }
-        printf("]");
+    printf("[");
+    for( int j = 0; v[j]; j++ )
+    {
+        if( j > 0 )
+            printf(", ");
+        printf("\"%s\"", v[j] );
+    }
+    printf("]");
 }