[Xsb-commits] CVS: XSB/packages/altCDF/mknf mknf_chkCon.P,1.1,1.2

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/packages/altCDF/mknf
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv31578

Modified Files:
	mknf_chkCon.P 
Log Message:


Index: mknf_chkCon.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/altCDF/mknf/mknf_chkCon.P,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- mknf_chkCon.P	12 May 2009 12:34:15 -0000	1.1
+++ mknf_chkCon.P	12 May 2009 16:45:16 -0000	1.2
@@ -346,6 +346,7 @@
 getRelevantFacts_1(Id,maxAttr(Id,R,C,N)):- 
 	maxAttr(Id,R,C,N).
 getRelevantFacts_1(Id,necessCond(Id,Cond)):- 
+%	necessCond(Id,Cond).
 	mknf_necessCond(Id,Cond).
 %getRelevantFacts_1(Id,(H <= B)):- 
 %	compdlrule(_,H,B),