From 91b47a438bda46597275ec521b3b79f222f245de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Manuel=20de=20Morais=20Santos=20Costa?=
 <vsc@xato.(none)>
Date: Mon, 19 Oct 2009 16:39:06 +0100
Subject: [PATCH] indenting stuff.

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

diff --git a/C/globals.c b/C/globals.c
index 5cb4dcd4e..8de5bd39e 100644
--- a/C/globals.c
+++ b/C/globals.c
@@ -1590,7 +1590,7 @@ p_nb_queue_close(void)
   Term t = Deref(ARG1);
   Int out;
 
-  DepthArenas--;
+ DepthArenas--;
   if (!IsVarTerm(t)) {
     CELL *qp;