fix missing lock in OpInfo
This commit is contained in:
parent
cce6bb6354
commit
0e447436b3
@ -3597,6 +3597,7 @@ int YAP_OpInfo(Atom at, Term module, int opkind, int *yap_type, int *prio)
|
||||
}
|
||||
}
|
||||
*yap_type = n;
|
||||
WRITE_UNLOCK(ae->ARWLock);
|
||||
return 1;
|
||||
}
|
||||
|
||||
|
@ -517,8 +517,9 @@ currentOperator(Module m, atom_t name, int kind, int *type, int *priority)
|
||||
default:
|
||||
opkind = 1;
|
||||
}
|
||||
if (!YAP_OpInfo(YAP_AtomFromSWIAtom(name), mod, opkind, &yap_type, priority))
|
||||
if (!YAP_OpInfo(YAP_AtomFromSWIAtom(name), mod, opkind, &yap_type, priority)) {
|
||||
return FALSE;
|
||||
}
|
||||
switch(yap_type) {
|
||||
case 1:
|
||||
*type = OP_XFX;
|
||||
|
Reference in New Issue
Block a user