define unnecessary lock
This commit is contained in:
parent
aa82206330
commit
87a0a7af74
@ -244,7 +244,6 @@ DumpActiveGoals ( USES_REGS1 )
|
|||||||
pe = Yap_PredForChoicePt(b_ptr);
|
pe = Yap_PredForChoicePt(b_ptr);
|
||||||
if (!pe)
|
if (!pe)
|
||||||
break;
|
break;
|
||||||
PELOCK(72,pe);
|
|
||||||
{
|
{
|
||||||
Functor f;
|
Functor f;
|
||||||
Term mod = PROLOG_MODULE;
|
Term mod = PROLOG_MODULE;
|
||||||
@ -273,7 +272,6 @@ DumpActiveGoals ( USES_REGS1 )
|
|||||||
}
|
}
|
||||||
YapPutc (LOCAL_c_error_stream,'\n');
|
YapPutc (LOCAL_c_error_stream,'\n');
|
||||||
}
|
}
|
||||||
UNLOCK(pe->PELock);
|
|
||||||
b_ptr = b_ptr->cp_b;
|
b_ptr = b_ptr->cp_b;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user