From 46543ccb5c8c932d74b7dd3d48ef7d4d798c6fb3 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 21 May 2009 00:40:52 -0500
Subject: [PATCH] remove redundant $between

---
 pl/threads.yap | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/pl/threads.yap b/pl/threads.yap
index 97293aeb9..811153198 100644
--- a/pl/threads.yap
+++ b/pl/threads.yap
@@ -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)) :-