===================================================================
RCS file: /home/cvs/OpenXM_contrib/gmp/mpn/generic/Attic/udiv_w_sdiv.c,v
retrieving revision 1.1.1.2
retrieving revision 1.1.1.3
diff -u -p -r1.1.1.2 -r1.1.1.3
--- OpenXM_contrib/gmp/mpn/generic/Attic/udiv_w_sdiv.c	2000/09/09 14:12:28	1.1.1.2
+++ OpenXM_contrib/gmp/mpn/generic/Attic/udiv_w_sdiv.c	2003/08/25 16:06:21	1.1.1.3
@@ -9,7 +9,7 @@
    GNU MP RELEASE.
 
 
-Copyright (C) 1992, 1994, 1996, 2000 Free Software Foundation, Inc.
+Copyright 1992, 1994, 1996, 2000 Free Software Foundation, Inc.
 
 This file is part of the GNU MP Library.
 
@@ -38,6 +38,9 @@ mpn_udiv_w_sdiv (rp, a1, a0, d)
 {
   mp_limb_t q, r;
   mp_limb_t c0, c1, b1;
+
+  ASSERT (d != 0);
+  ASSERT (a1 < d);
 
   if ((mp_limb_signed_t) d >= 0)
     {