From 9d8e7ed03494ee7f5896245a17fc7b8efdd12370 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 4 Sep 2011 19:22:08 +0200
Subject: [PATCH] indent alloc.c

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

diff --git a/C/alloc.c b/C/alloc.c
index 50c07a06c..9712464e2 100644
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -1065,7 +1065,7 @@ mmap_extension(Int s, MALLOC_T base, int fixed_allocation)
 #else
      char file[YAP_FILENAME_MAX];
      strcpy(file,"/tmp/mapfile");
-    itos(getpid(), &file[12]);
+     itos(getpid(), &file[12]);
 #endif /* HAVE_TMPNAM */
 #endif /* HAVE_MKSTEMP */
     fd = open(file, O_CREAT|O_RDWR, S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH);