#include "inferior.h"
#include "floatformat.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);
}