diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove redundant $between

This commit is contained in:
Vitor Santos Costa 2009-05-21 00:40:52 -05:00
parent f3e4148511
commit 46543ccb5c
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/threads.yap
View File

@ -820,12 +820,6 @@ thread_property(Id, Prop) :-
'$between'(0,Max1,Id),
'$thread_stacks'(Id, _, _, _).
'$between'(I,_,I).
'$between'(I0,I,J) :-
I0 < I,
I1 is I0+1,
'$between'(I1,I,J).
'$thread_property'(Id, alias(Alias)) :-
recorded('$thread_alias', [Id|Alias], _).
'$thread_property'(Id, status(Status)) :-