From 12672a77e1129cda46af4379b774f4d7c80cf31d Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 21 Feb 2010 00:45:38 +0000
Subject: [PATCH] fix missing unlock.

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

diff --git a/C/dbase.c b/C/dbase.c
index 7ad9669a2..65b1e0d1b 100644
--- a/C/dbase.c
+++ b/C/dbase.c
@@ -4631,6 +4631,7 @@ p_instance(void)
 	if (IsVarTerm(t2)) {
 	  Yap_unify(ARG2, (t2 = Yap_MkNewApplTerm(f,arity)));
 	} else if (!IsApplTerm(t2) || FunctorOfTerm(t2) != f) {
+	  UNLOCK(ap->PELock);
 	  return FALSE;
 	}
 	ptr = RepAppl(t2)+1;