From 1187e58005f383190c83396ac232b0402aa7a478 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Manuel=20de=20Morais=20Santos=20Costa?=
 <vsc@xato.(none)>
Date: Thu, 21 Jan 2010 15:05:59 +0000
Subject: [PATCH] fix unnecessary unlocking (obs from Jiefei Ma).

---
 C/dbase.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/C/dbase.c b/C/dbase.c
index defedf993..383853cec 100644
--- a/C/dbase.c
+++ b/C/dbase.c
@@ -2652,7 +2652,6 @@ new_lu_int_key(Int key)
   p->ArityOfPE = 3;
   p->OpcodeOfPred = Yap_opcode(_op_fail);
   p->cs.p_code.TrueCodeOfPred = p->CodeOfPred = FAILCODE;
-  WRITE_UNLOCK(ae->ARWLock);
   INT_LU_KEYS[hash_key] = p0;
   return p;
 }