/* Low level interface to i386 running the GNU Hurd.
- Copyright (C) 1992, 1995, 1996, 2000 Free Software Foundation, Inc.
+ Copyright 1992, 1995, 1996, 1998, 2000, 2001
+ Free Software Foundation, Inc.
This file is part of GDB.
#include "defs.h"
#include "inferior.h"
#include "floatformat.h"
+#include "regcache.h"
-#include <assert.h>
+#include "gdb_assert.h"
#include <stdio.h>
#include <errno.h>
{
proc_debug (thread, "storing register %s", REGISTER_NAME (regno));
- assert (register_valid[regno]);
+ gdb_assert (register_valid[regno]);
fill (state, regno);
}