===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/gr,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -p -r1.25 -r1.26
--- OpenXM_contrib2/asir2000/lib/gr	2007/01/18 08:09:02	1.25
+++ OpenXM_contrib2/asir2000/lib/gr	2007/07/17 08:17:42	1.26
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.24 2006/08/09 02:43:38 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/lib/gr,v 1.25 2007/01/18 08:09:02 noro Exp $ 
 */
 
 module gr $
@@ -1123,7 +1123,7 @@ def p_nf(P,B,V,O) {
 	N = length(B); DB = newvect(N);
 	for ( I = N-1, IL = []; I >= 0; I-- ) {
 		DB[I] = dp_ptod(B[I],V);
-		IL = cons(I,IL);
+		if ( DB[I] ) IL = cons(I,IL);
 	}
 	return dp_dtop(dp_nf(IL,DP,DB,1),V);
 }
@@ -1133,7 +1133,7 @@ def p_true_nf(P,B,V,O) {
 	N = length(B); DB = newvect(N);
 	for ( I = N-1, IL = []; I >= 0; I-- ) {
 		DB[I] = dp_ptod(B[I],V);
-		IL = cons(I,IL);
+		if ( DB[I] ) IL = cons(I,IL);
 	}
 	L = dp_true_nf(IL,DP,DB,1);
 	return [dp_dtop(L[0],V),L[1]];