From 87e811028c45a01c8741060da04fe78cd481ce3e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 10 Dec 2012 12:48:02 +0000
Subject: [PATCH] ifix indenting

---
 C/write.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/write.c b/C/write.c
index 76ca3ae1f..409cf467d 100644
--- a/C/write.c
+++ b/C/write.c
@@ -282,7 +282,7 @@ writebig(Term t, int p, int depth, int rinfixarg, struct write_globs *wglb, stru
     blob_info = big_tag - USER_BLOB_START;
     if (GLOBAL_OpaqueHandlers &&
 	(f= GLOBAL_OpaqueHandlers[blob_info].write_handler)) {
-	      (f)(wglb->stream, big_tag, ExternalBlobFromTerm(t), 0);
+      (f)(wglb->stream, big_tag, ExternalBlobFromTerm(t), 0);
     }
   }
   wrputs("0",wglb->stream);