fix locking stuff.

2009-12-17 16:11:02 -02:00
parent 6aff7bda59
commit 5b8dc25eff
2 changed files with 5 additions and 0 deletions
--- a/C/adtdefs.c
+++ b/C/adtdefs.c
@@ -440,6 +440,7 @@ Yap_HasOp(Atom a)
  while (!EndOfPAEntr(pp) &&
 	 ( pp->KindOfPE != OpProperty))
    pp = RepProp(pp->NextOfPE);
+  READ_UNLOCK(ae->ARWLock);
  if (EndOfPAEntr(pp)) {
    return FALSE;
  } else {