===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/dp-supp.c,v
retrieving revision 1.57
retrieving revision 1.59
diff -u -p -r1.57 -r1.59
--- OpenXM_contrib2/asir2000/builtin/dp-supp.c	2010/05/01 02:17:49	1.57
+++ OpenXM_contrib2/asir2000/builtin/dp-supp.c	2013/11/05 02:55:03	1.59
@@ -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/builtin/dp-supp.c,v 1.56 2009/10/15 07:08:40 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.58 2011/06/16 08:17:14 noro Exp $ 
 */
 #include "ca.h"
 #include "base.h"
@@ -651,11 +651,11 @@ void dp_sp(DP p1,DP p2,DP *rp)
 		LIST hist;
 		NODE node;
 
-		node = mknode(4,ONE,0,s1,ONE);
+		node = mknode(4,ONE,NULLP,s1,ONE);
 		MKLIST(hist,node);
 		MKNODE(TraceList,hist,0);
 
-		node = mknode(4,ONE,0,0,ONE);
+		node = mknode(4,ONE,NULLP,NULLP,ONE);
 		chsgnd(s2,(DP *)&ARG2(node));
 		MKLIST(hist,node);
 		MKNODE(node,hist,TraceList); TraceList = node;
@@ -704,11 +704,11 @@ void _dp_sp_dup(DP p1,DP p2,DP *rp)
 		LIST hist;
 		NODE node;
 
-		node = mknode(4,ONE,0,s1,ONE);
+		node = mknode(4,ONE,NULLP,s1,ONE);
 		MKLIST(hist,node);
 		MKNODE(TraceList,hist,0);
 
-		node = mknode(4,ONE,0,0,ONE);
+		node = mknode(4,ONE,NULLP,NULLP,ONE);
 		chsgnd(s2,(DP *)&ARG2(node));
 		MKLIST(hist,node);
 		MKNODE(node,hist,TraceList); TraceList = node;
@@ -1249,7 +1249,7 @@ DP *dp_true_nf_and_quotient_marked (NODE b,DP g,DP *ps
 
 	dn = (P)ONE;
 	if ( !g ) {
-		*rp = 0; *dnp = dn; return;
+		*rp = 0; *dnp = dn; return 0;
 	}
 	for ( n = 0, l = b; l; l = NEXT(l), n++ );
 	wb = (int *)ALLOCA(n*sizeof(int));
@@ -1306,7 +1306,7 @@ DP *dp_true_nf_and_quotient_marked_mod(NODE b,DP g,DP 
 	for ( i = 0; i < n; i++ ) q[i] = 0;
 	dn = (P)ONEM;
 	if ( !g ) {
-		*rp = 0; *dnp = dn; return;
+		*rp = 0; *dnp = dn; return 0;
 	}
 	wb = (int *)ALLOCA(n*sizeof(int));
 	for ( i = 0, l = b; i < n; l = NEXT(l), i++ )