[Xsb-commits] CVS: XSB/packages/altCDF cdf_init_cdf.P,1.35,1.36

[David S. W. <dw...@us...>]

Update of /cvsroot/xsb/XSB/packages/altCDF
In directory sc8-pr-cvs1:/tmp/cvs-serv20034

Modified Files:
	cdf_init_cdf.P 
Log Message:
Fixed wrong variables in isa_nospec_fx, that led to infinite loop.


Index: cdf_init_cdf.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/cdf_init_cdf.P,v
retrieving revision 1.35
retrieving revision 1.36
diff -u -r1.35 -r1.36
--- cdf_init_cdf.P	15 Oct 2003 19:27:37 -0000	1.35
+++ cdf_init_cdf.P	16 Oct 2003 03:22:19 -0000	1.36
@@ -491,8 +491,8 @@
 	         
 isa_nospec_fx(Sub,Sub).
 isa_nospec_fx(Sub,Sup):- 
-	immed_isa1(Sub,Sup),
-	isa_nospec_fx(Sub,Sup).
+	immed_isa1(Mid,Sup),
+	isa_nospec_fx(Sub,Mid).
 
 isa_subclass_fx(Sub,Sub).
 isa_subclass_fx(Sub,Sup):-