From 4ed6e4fae9dab3838894628dd1a325543404f82e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 5 Oct 2015 10:27:25 +0100
Subject: [PATCH] indent

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

diff --git a/C/c_interface.c b/C/c_interface.c
index 7130801c6..2083542c5 100755
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -2653,7 +2653,7 @@ YAP_InitConsult(int mode, const char *filename, int *osnop)
   GLOBAL_Stream[sno].name = Yap_LookupAtom( filename );
   GLOBAL_Stream[sno].user_name = MkAtomTerm( Yap_LookupAtom( filename ) );
   RECOVER_MACHINE_REGS();
-    UNLOCK(GLOBAL_Stream[sno].streamlock);
+  UNLOCK(GLOBAL_Stream[sno].streamlock);
   return sno;
 }