[Xsb-commits] CVS: XSB/packages/chr_d attv_aux.P,1.2,1.3

[bss <be...@us...>]

Update of /cvsroot/xsb/XSB/packages/chr_d
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv15812/packages/chr_d

Modified Files:
	attv_aux.P 
Log Message:
A small fix to chr_d unification handling

Index: attv_aux.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/chr_d/attv_aux.P,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- attv_aux.P	15 Sep 2005 15:07:01 -0000	1.2
+++ attv_aux.P	27 Oct 2005 03:49:22 -0000	1.3
@@ -21,6 +21,7 @@
 % - pose F constraint for X against each element of Atts
 pose_one_constr(_,A,A,_,L,L).
 pose_one_constr(F,A,I,X,[AL|ALs],OtherConstrAtts) :-
+	I < A,
 	Pos is I+1,
 	pose_constraints(F,Pos,X,AL),
 	pose_one_constr(F,A,Pos,X,ALs,OtherConstrAtts).