--- assert.c.orig 2007-08-30 11:31:40.000000000 -0700

+++ assert.c 2008-04-18 17:08:25.166351451 -0700

@@ -23,9 +23,6 @@

#include <stdio.h>

#include <stdlib.h>

-#include "gmp.h"

-#include "gmp-impl.h"

-

void

__gmp_assert_header (const char *filename, int linenum)